Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 4 days 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
-
at the Department of Informatics. Starting date no later than December 1, 2025. The fellowship period is three years. A fourth year maybe considered and it will involve 25 percent of other career-promoting work
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions