81 proof-checking-postdoc-computerscience positions at CNRS

Postdoc (M/F)

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

4 Apr 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique de la matière condensée Research Field Chemistry Physics Researcher Profile First Stage Researcher (R1) Application Deadline 24 Apr 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job...

M/F postdoc sur les cartes combinatoires

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

2 Apr 2026 Job Information Organisation/Company CNRS Department Institut de Recherche en Informatique Fondamentale Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher (R1) Application Deadline 22 Apr 2026 - 23:59 (UTC) Country France Type of...

Postdoc M/F : Advanced solar cells

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

21 Mar 2026 Job Information Organisation/Company CNRS Department INSTITUT PHOTOVOLTAIQUE D'ILE DE FRANCE Research Field Engineering Physics Technology Researcher Profile Recognised Researcher (R2) Application Deadline 10 Apr 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job...

Postdoc (M/F) - (CRPG, ULB, AWI): a LA-ICPMS perspective on the basal ice of Greenland and Antarctic ice cores (2 years PostDoc position)

CNRS | France | 10 days ago

29 Mar 2026 Job Information Organisation/Company CNRS Department Centre de recherches pétrographiques et géochimiques Research Field Environmental science Environmental science » Earth science Environmental science » Global change Researcher Profile Recognised Researcher (R2) Application...

Postdoc position on Eco-evolutionary theory of host-microbiome systems M/F)

CNRS | Moulis en Medoc, Aquitaine | France | 16 days ago

seeking a postdoc in Eco-evolutionary theory of host-microbiome systems. Host-associated microbiomes often display host specificity and heritability, yet the evolutionary processes under which

Postdoc scholar position (M/F) of Exotic nuclear Systems

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

26 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique des 2 infinis - Irène Joliot-Curie Research Field Physics Researcher Profile Recognised Researcher (R2) Application Deadline 15 Apr 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job...

postdoc on formal verifiication of security protocols with probabilities (M/F)

CNRS | Vand uvre les Nancy, Lorraine | France | about 1 month ago

successfully applied to numerous protocols in the literature, providing security proofs or revealing new attacks. However, these formal (or symbolic) models do not allow for the modeling of probabilistic

M/F Postdoc in Radiochemistry / environmental science

CNRS | Nantes, Pays de la Loire | France | 21 days ago

19 Mar 2026 Job Information Organisation/Company CNRS Department Laboratoire de physique subatomique et des technologies associées Research Field Chemistry Chemistry » Computational chemistry Researcher Profile Recognised Researcher (R2) Application Deadline 8 Apr 2026 - 23:59...

PostDoc (M/F) in Radio Frequency Electronics

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

9 Mar 2026 Job Information Organisation/Company CNRS Department Institut d'Electronique et des Systèmes Research Field Physics Researcher Profile First Stage Researcher (R1) Application Deadline 30 Mar 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per...

Postdoc in Human population Genetics (M/F)

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

14 Mar 2026 Job Information Organisation/Company CNRS Department Centre de Recherche sur la Biodiversité et l'Environnement Research Field History Anthropology Environmental science Researcher Profile Recognised Researcher (R2) Application Deadline 3 Apr 2026 - 23:59 (UTC) Country France Type of...