Sort by
Refine Your Search
-
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
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic-"LIST" positions