4 postdoc-computer-science-logic Postdoctoral positions in France

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

CNRS | Paris 13, le de France | France | about 1 month 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

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 2 months ago

6 Jan 2026 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2

Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | about 2 months 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

Postdoctoral researcher in mathematics, specifically holomorphic dynamics: two-year position with possibility of renewal for a third year

Aix-Marseille Université | Marseille, Provence Alpes Cote d Azur | France | about 2 months ago

10 Jan 2026 Job Information Organisation/Company Aix-Marseille Université Research Field Computer science » Other Mathematics » Applied mathematics Mathematics » Computational mathematics