4 postdoc-computer-science-logic-"https:" Postdoctoral positions in France

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

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

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 | 2 months ago

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

Postdoc : Dynamic and arithmetic aspects of verification M/F

CNRS | Paris 13, le de France | France | 2 months ago

computer science or mathematics - Conduct research projects independently - Write scientific articles and present work in seminars - Organizational and collaboration skills Website for additional job details https