Sort by
Refine Your Search
-
Country
-
Program
-
Employer
-
in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs are there to be discovered? Theme Three: Cyborg Proofs: the use
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
23 Oct 2025 Job Information Organisation/Company FCiências.ID Research Field Mathematics » Mathematical logic Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic-"LIST" positions