145 proof-checking-postdoc-computer-science-logic PhD positions at CNRS in France

Researcher Contract - Modeling and Control of Turbulent Thermal Boundary Layers (M/F)

CNRS | Chasseneuil du Poitou, Poitou Charentes | France | 14 days ago

26 Nov 2025 Job Information Organisation/Company CNRS Department Institut P': Physique et Ingénierie en Matériaux, Mécanique et Énergétique Research Field Engineering Chemistry Physics Researcher

PhD in molecular neurobiology and stem cells (M/F)

CNRS | Lyon 07, Rhone Alpes | France | 2 months ago

through the EU Research Framework Programme? Horizon Europe - ERC Is the Job related to staff position within a Research Infrastructure? No Offer Description The "Spatio-temporal Logic of Adult Neurogenesis

PhD student, Towards Scalable Formal Explainability: Lite Explanations and Guided Approximations (M/F)

CNRS | Villetaneuse, le de France | France | 3 months ago

23 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique de Paris-Nord Research Field Computer science Researcher Profile First Stage Researcher (R1) Country

M/F Researcher to study the genetic mechanisms of meristem development in a moss

CNRS | Lyon 07, Rhone Alpes | France | 3 months ago

spanning molecular genetics, genomics, cell biology to biophysics, mathematics and computational modeling. The laboratory is housed at ENS de Lyon, a top-ranking French university, situated in the vibrant

Researcher Contract - "Understanding and Controlling Near-Wall Turbulent Flows to Enhance Heat Exchanger Performance: Simulations, Modeling, and Industrial Applications(M/F)

CNRS | Chasseneuil du Poitou, Poitou Charentes | France | 2 months ago

10 Oct 2025 Job Information Organisation/Company CNRS Department Institut P': Physique et Ingénierie en Matériaux, Mécanique et Énergétique Research Field Engineering Chemistry Physics Researcher

M/F PhD Position: Khovanov–Seidel Representations of Artin–Tits Groups

CNRS | Montpellier, Languedoc Roussillon | France | 3 months ago

20 Sep 2025 Job Information Organisation/Company CNRS Department Institut Montpelliérain Alexander Grothendieck Research Field Mathematics History » History of science Researcher Profile First Stage

PhD student M/F Genome stability and Meiosis

CNRS | Montpellier, Languedoc Roussillon | France | 3 months ago

postdoc and one master student. The candidate should be able to communicate in English and have some training in molecular biology, cytology, basic bioinformatics. Where to apply Website https

PhD student position (M/F) in wind lidar design for space applications

CNRS | Guyancourt, le de France | France | 3 days ago

Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be carried out at LATMOS (Laboratoire Atmosphères, Milieux

PhD Position on Robust Extensive-Form Games (M/F)

CNRS | Montpellier, Languedoc Roussillon | France | about 1 month ago

7 Nov 2025 Job Information Organisation/Company CNRS Department Laboratoire d'informatique de robotique et de microélectronique de Montpellier Research Field Computer science Mathematics

3-year PhD Position (M/F) – Artificial Intelligence for High-Resolution Retinal Image Processing

CNRS | Paris 05, le de France | France | 15 days ago

24 Nov 2025 Job Information Organisation/Company CNRS Department Institut Langevin Research Field Engineering Physics Technology Researcher Profile First Stage Researcher (R1) Country France