259 software-formal-method-phd Postdoctoral positions at CNRS

Post-Doc Position: Safe AI Planning and Reinforcement Learning using Formal Methods

CNRS | Rennes, Bretagne | France | about 2 months ago

a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how

Postdoctoral researcher (M/F) in theoretical chemistry focused on method development

CNRS | Rennes, Bretagne | France | 8 days ago

fellow will carry out the development of theoretical and methodological formalisms in relativistic quantum chemistry, as well as their implementation (Python). The position is within the BRUNCH project

Post-doc: Understanding the structural evolution of water under pressure and temperature using spectroscopic methods (M/F)

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

28 Nov 2025 Job Information Organisation/Company CNRS Department Institut NEEL Research Field Environmental science Environmental science » Earth science Environmental science » Global change Researcher Profile Recognised Researcher (R2) Country France Application Deadline 18 Dec 2025 - 23:59...

Post-doctoral fellow (M/F): Assessing the power of current methods to detect balancing selection in population genomic datasets

CNRS | Paris 05, le de France | France | 14 days ago

, most methods to detect balancing selection have been benchmarked only on scenario of HA. Yet, HA is thought to be a rare and transient mechanism that participates less than NFDS or FS in the maintenance

Postdoc (M/F) Advanced Data Analysis Methods for Gravitational Astronomy and Virgo

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

Chassande-Mottin (one of the co-leaders of RICOCHET) on the development of analytical methods for gravitational polarimetry based on observations from the gravitational wave detectors Virgo and LIGO

Researcher Development of an Asymptotic Preserving (AP) scheme for solving highly anisotropic advection-diffusion equations using the Hybrid Discontinuous Galerkin method: application

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

Eligibility criteria Numerical analysis and finite element method Solving anisotropic problems Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UMR7340-SOPBAU-024/Default.aspx Work Location

Postdoctoral Researcher in Decoding, Neurofeedback, and Software Development (M/F)

CNRS | Bron, Rhone Alpes | France | 2 months ago

• Develop, consolidate, and optimize fMRI and EEG neurofeedback algorithms. • Design, integrate, and test standalone neurofeedback software (software suites for clinical environments). • Contribute

Postdoctoral Position in Applied Mathematics – Statistical/Stochastic Methods for Robust Optimization of Industrial Workshops (M/F).

CNRS | Aubiere, Auvergne | France | 3 months ago

uncertainties (delays, resources, failures) using various methods, including Bayesian approaches. 3. Optimize the workshop configuration, taking into account scenario variability, by relying on the surrogate

Post PhD M/F - Study of capillary debinding mechanisms in composite parts produced by 3D printing

CNRS | Pessac, Aquitaine | France | 3 months ago

Eligibility criteria PhD in Materials Science, Process Engineering, or a similar field. Required Skills: Proficiency in ceramic and composite material development processes, as well as structural, mechanical

M/F Post-Doc Image-Based Modeling of Ceramic Matrix COmposites Fabrication by a hybrid polymer/gas route

CNRS | Pessac, Aquitaine | France | 14 days ago

matrix prepared by PIP must allow for optimal gas permeability. Objectives and Methods ------------------------- This study aims to investigate the infiltration of porous matrices obtained by PIP using