77 formal-verification-computer-science Postdoctoral positions at CNRS in France

Post-doc in Molecular Chemistry (M/F): Synthesis and Study of Near-Infrared Organic Dyes for the Elaboration of Transparent and Colorless Solar Cells

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

3 Sep 2025 Job Information Organisation/Company CNRS Department Chimie Et Interdisciplinarité : Synthèse, Analyse, Modélisation Research Field Chemistry Environmental science Researcher Profile

M/F Post-doctorat in material science

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

22 Aug 2025 Job Information Organisation/Company CNRS Department Institut de Chimie et des Matériaux Paris-Est Research Field Chemistry Physics Technology Researcher Profile First Stage Researcher

Post-doc (M/F) in RNA molecular biology, microfluidic screening and bioinformatics

CNRS | Strasbourg, Alsace | France | 20 days ago

21 Aug 2025 Job Information Organisation/Company CNRS Department Architecture et Réactivité de l'ARN Research Field Chemistry » Biochemistry Physics » Biophysics Biological sciences » Biological

Post-doctoral researcher in deep learning to predict the distribution of marine biological communities using their spatial and temporal context (M/F)

CNRS | Villefranche sur Mer, Provence Alpes Cote d Azur | France | 10 days ago

, working at the interface between plankton ecology and computer sciences. The postdoc will work in strong connection with the GreenOwl team of Inria (National Institute for Research in Digital Science and

Postdoctoral fellow on quantification of the environmental impacts of AI M/F

CNRS | Gif sur Yvette, le de France | France | 3 days ago

6 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire Interdisciplinaire des Sciences du Numérique Research Field Engineering Computer science Mathematics Researcher Profile

Researcher - Reducing the memory footprint of virtualized servers: energy efficiency and sufficiency (M/F)

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

5 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis Research Field Computer science Mathematics » Algorithms

Postdoc M/F: Exponential Data Consistency Conditions for Patient Motion Detection and Correction in SPECT

CNRS | Villeurbanne, Rhone Alpes | France | 10 days ago

29 Aug 2025 Job Information Organisation/Company CNRS Department Centre de Recherche En Acquisition et Traitement de l'Image pour la Santé Research Field Engineering Computer science Mathematics

Postdoc position (M/F) on antiviral dsRNA-induced immunity in plants

CNRS | Strasbourg, Alsace | France | 1 day ago

9 Sep 2025 Job Information Organisation/Company CNRS Department Institut de biologie moléculaire des plantes Research Field Biological sciences » Botany Biological sciences Technology

Post-doc (M/F) Quantum chemical modelling of electrode/electrolyte interface for batteries

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

29 Aug 2025 Job Information Organisation/Company CNRS Department Laboratoire de chimie Research Field Chemistry » Physical chemistry Chemistry » Computational chemistry Researcher Profile Recognised

Postdoctoral on moment-sums of squares hierarchies for honomic functions (M/F)

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

FieldMathematicsYears of Research Experience1 - 4 Research FieldHistory » History of scienceYears of Research Experience1 - 4 Additional Information Eligibility criteria - PhD in computer science or applied mathematics