3 proof-checking-postdoc-computer-science-logic "the" Postdoctoral positions

Post-Doctoral Research Visit F/M Justifying variants of the axiom of choice in type theory

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 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

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | 3 months ago

3 Oct 2025 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Informatics Mathematics » Mathematical logic Researcher Profile

Postdoc Positions in Formal Methods and Programming Languages

University of Southern Denmark | Denmark | about 1 month ago

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