-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago
project and in particular on consolidating the logical foundations of mathematical proof assistants (http://malinca.org ). It will be located at the IRIF lab in Paris. Travel expenses are covered within
-
20 Jan 2026 Job Information Organisation/Company Idiap Research Institute Research Field Computer science Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application
-
subject 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
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic "https:" positions