1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Centro de Investigación en Matemáticas
Sort by
Refine Your Search
-
Description Open one or two year Postdocs positions on Surrogate Models for Uncertainty Quantification (UQ), at the Centro de Investigación en Matemáticas (CIMAT-SECIHTI, México). We are a UQ research group
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions