Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 1 day ago
in type theory, programming languages, machine-checked proofs, and, in particular, in the proof-theoretical properties of various formulations of the axiom of choice. Fluency in French or English
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions