2 postdoc-computer-science-logic Postdoctoral positions at CNRS

M/F Postdoc in the theory of quantum programming languages at IRIF

CNRS | Paris 13, le de France | France | 12 days ago

applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term

Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | 20 days ago

10 Jan 2026 Job Information Organisation/Company CNRS Department Institut de Recherche en Informatique Fondamentale Research Field Computer science Mathematics » Algorithms Researcher Profile First