The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago
3 Oct 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
3 Oct 2025 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Informatics Mathematics » Mathematical logic Researcher Profile
-
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
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions