86 proof-checking-postdoc-computer-science-logic Postdoctoral positions at CNRS

PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning

CNRS | Lens, Nord Pas de Calais | France | 4 days ago

PhD candidates and master students in the project. The PostDoc will take place at CRIL (Lens Computer Science Research Center), an internationally recognized laboratory renowned for its cutting-edge

Postdoc in the dynamics of high-dimensional disordered systems (M/F)

CNRS | Orsay, le de France | France | 25 days ago

19 Sep 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique théorique et modèles statistiques Research Field Physics Chemistry » Computational chemistry Researcher

Postdoc: Silicone Phantoms for Surgery Training (M/F)

CNRS | Pessac, Aquitaine | France | 5 days ago

10 Oct 2026 Job Information Organisation/Company CNRS Department Centre de Recherche Paul Pascal Research Field Chemistry Physics » Chemical physics Physics » Biophysics Researcher Profile First

Postdoc (M/F) in post-quantum cryptography

CNRS | Lyon 07, Rhone Alpes | France | 11 days ago

of Research ExperienceNone Additional Information Eligibility criteria - The candidate should hold a PhD degree in Mathematics or Computer Science - They should have a strong record related to any

PostDoc in Geology Numerical Modelling (M/F)

CNRS | Toulouse, Midi Pyrenees | France | 25 days ago

19 Sep 2026 Job Information Organisation/Company CNRS Department Géosciences Environnement Toulouse Research Field Chemistry Biological sciences Pharmacological sciences Researcher Profile First

Postdoc (M/F) in structure-function anaylsis of proteins

CNRS | Montpellier, Languedoc Roussillon | France | 10 days ago

://www.biocampus.cnrs.fr/index.php/en/ ), including the MRI imaging platform equipped with the most advanced microscopes and dedicated staff. The postdoc (M/F) will join Alenka Copic's team, “Cell biology of lipid storage

Postdoc (M/F) reporting and analysis of wet-bulb temperature

CNRS | Paris 05, le de France | France | about 1 month ago

-Participating in conferences and meetings, and writing a paper" The postdoc will be based at LATMOS within the Atmospheres department, with regular/weekly visits to INRIA. LATMOS has access to IPSL's computing

Postdoc in biomaterials and bioengineering (M/F)

CNRS | Grenoble, Rhone Alpes | France | 26 days ago

with 3D cell culture, organoids or tissue engineering will be considered a strong advantage. Experience with image analysis software (ImageJ/Fiji) and scientific computing tools (Python, R or equivalent

Postdoc (M/F) : Microstructural and Mechanical Properties of Foam-Bound Granular Materials

CNRS | Champs sur Marne, le de France | France | 25 days ago

19 Sep 2026 Job Information Organisation/Company CNRS Department Laboratoire Navier Research Field Engineering Physics » Acoustics Engineering » Materials engineering Researcher Profile First Stage

Post-doc position, the development of non-conventional computing (e.g. reservoir computing) in coupled Double-Drum nanoelectromechanical resonator networks M/F

CNRS | Villeneuve la Garenne, le de France | France | 25 days ago

by information and communication technology which could lead 20% of global energy production to be consumed by the adoption of artificial intelligence. Therefore, “unconventional” computing