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

POST DOC « p-adic Kudla program and p-adic automorphic forms » M/F

CNRS | Marseille 09, Provence Alpes Cote d Azur | France | about 1 month ago

Joaquín RODRIGUES JACINTO (I2M Aix-Marseille Université), the research program "p-adic Kudla program and p-adic automorphic forms". The Postdoc will be responsible for supporting and coordinating

Researcher in analytical chemistry and chemistry of molten salts M/F

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

Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The candidate will work as part of the EURAD2 European project

Postdoctoral fellow in knowledge representation for robotics (M/F)

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

of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution

Post-doctorant Combustion Chemistry (M/F)

CNRS | Orleans, Centre | France | 6 days ago

18 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Combustion, Aérothermique, Réactivité et Environnement Research Field Engineering Chemistry Physics Researcher Profile

Post-doctoral researcher in axon biology (M/F)

CNRS | Marseille 09, Provence Alpes Cote d Azur | France | about 2 months ago

10 Sep 2025 Job Information Organisation/Company CNRS Department Institut de Biologie du Développement de Marseille Research Field Neurosciences Biological sciences Researcher Profile First Stage

M/F Postdoctoral researcher in numeric analysis and scientific computing – ERC NEMESIS

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

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

Postdoctoral position Epitaxial growth of halide perovskites heterostructures by molecular beam epitaxy M/F

CNRS | La Valbonne, Rhone Alpes | France | 27 days ago

transistors. The team has the expertise and the tools necessary for the structural and optical characterization of the materials to be grown as well as the necessary clean-room technology for fabricating proof

Post-doc in cell biology and genomics in C. elegans (M/F)

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

18 Oct 2025 Job Information Organisation/Company CNRS Department Institut Jacques Monod Research Field Biological sciences Biological sciences » Biology Researcher Profile Recognised Researcher (R2

Post-doctorat (M/F) prématuration CNRS: Fabrication and engineering of GaAs/Si tandem solar cells using plasma based CVD process

CNRS | Palaiseau, le de France | France | 23 days ago

2 Oct 2025 Job Information Organisation/Company CNRS Department Laboratoire de physique des interfaces et couches minces Research Field Engineering Chemistry Physics Researcher Profile Recognised

Postdoctoral position in computational social neuroscience (M/F) (H/F)

CNRS | Bron, Rhone Alpes | France | about 1 month ago

mechanisms engaged when deciding to transmit information in social networks. Candidates must have (or nearing completion of) a PhD degree in neuroscience, social psychology, behavioral economics, computational