27 proof-checking-postdoc-computer-science-logic uni jobs at CNRS

Computing transseries solutions to differential equations (M/F)

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

11 Mar 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique de l'Ecole Polytechnique Research Field Computer science Mathematics » Algorithms Researcher Profile First

M/F CDD MeLiCa Sorption et incorporation du Li dans les minéraux carbonatés

CNRS | Toulouse, Midi Pyrenees | France | 3 months ago

11 Mar 2025 Job Information Organisation/Company CNRS Department Géosciences Environnement Toulouse Research Field Environmental science Environmental science » Earth science Environmental science

Numerical approach of generalized flatness (M/F)

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

11 Mar 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique de l'Ecole Polytechnique Research Field Computer science Mathematics » Algorithms Researcher Profile First

Research Engineer M/F – History of Construction

CNRS | Paris La Defense, le de France | France | 3 months ago

funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Research in the history of science and technology (production, circulation, and

New methodologies for numerical simulation of photoelectron spectra (M/F)

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

13 Mar 2025 Job Information Organisation/Company CNRS Department Institut de Chimie Physique Research Field Chemistry » Physical chemistry Chemistry » Computational chemistry Researcher Profile

Thesis M/F: Automatic composition of security functions in the cloud

CNRS | Toulouse, Midi Pyrenees | France | 3 months ago

13 Mar 2025 Job Information Organisation/Company CNRS Department Laboratoire d'analyse et d'architecture des systèmes Research Field Computer science Mathematics » Algorithms Researcher Profile

Doctorant sur spectral hole burning (M/F)

CNRS | Paris 14, le de France | France | 3 months ago

Apr 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 12 May 2025 Is the job funded through the EU Research Framework Programme? Not funded by a EU

ATLID spaceborne lidar validation using groundbased french antarctic station M/F

CNRS | Paris 05, le de France | France | 3 months ago

18 Mar 2025 Job Information Organisation/Company CNRS Department Laboratoire "Atmosphères et Observations Spatiales" Research Field Environmental science Biological sciences Geosciences Researcher

Etudiant en thèse (M/F) en Co-direction

CNRS | Strasbourg, Alsace | France | 3 months ago

13 Mar 2025 Job Information Organisation/Company CNRS Department Institut des Neurosciences Cellulaires et Intégratives Research Field Neurosciences Biological sciences Researcher Profile First

Activities in preparation to MIRS/MMX data acquisition (M/F)

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

7 Mar 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Instrumentation et de Recherche en Astrophysique Research Field Environmental science Environmental science » Earth