65 formal-verification-computer-science uni jobs at CNRS

Monitoring interface phenomena with conductive optical fibers (M/F)

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

30 Sep 2025 Job Information Organisation/Company CNRS Department Chimie du solide et de l'énergie Research Field Chemistry » Physical chemistry Chemistry » Computational chemistry Researcher Profile

Development of Active Thin-Film Electrode Arrays (TFEAs) for Cochlear Implants (M/F)

CNRS | Villeneuve la Garenne, le de France | France | 9 days ago

30 Sep 2025 Job Information Organisation/Company CNRS Department Institut d'électronique, de microélectronique et de nanotechnologie Research Field Engineering Physics Technology Researcher Profile

Doctorant (M/F)

CNRS | Marseille 09, Provence Alpes Cote d Azur | France | 8 days ago

2 Oct 2025 Job Information Organisation/Company CNRS Department Centre d'immunologie de Marseille-Luminy Research Field Biological sciences Medical sciences Pharmacological sciences Researcher

Thesis offer in 21st-century French literature M/F

CNRS | Paris 02, le de France | France | 21 days ago

stakeholders. To this end, it will promote interdisciplinarity between the humanities and social sciences and computer science communities, create the conditions for sustained interaction and dialogue between

Study of an innovative approach to the precipitation of model compounds of plutonium oxalate M/F

CNRS | Villeneuve la Garenne, le de France | France | 9 days ago

30 Sep 2025 Job Information Organisation/Company CNRS Department Unité de Catalyse et de Chimie du Solide Research Field Chemistry Physics Technology Researcher Profile First Stage Researcher (R1

C-band semicondcutor laser neural network (M/F)

CNRS | Besan on, Franche Comte | France | 29 days ago

10 Sep 2025 Job Information Organisation/Company CNRS Department Institut Franche-Comté Electronique Mécanique Thermique et Optique – Sciences et Technologies Research Field Physics Researcher

Risk Analysis of Software Supply Chain in the Context of Malware Defense (M/F)

CNRS | Vand uvre les Nancy, Lorraine | France | 16 days ago

23 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire lorrain de recherche en informatique et ses applications Research Field Computer science Mathematics » Algorithms

M/F Doctorant en modélisation de la combustion turbulente des e-combustibles

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

formation. For reasons of computing time, the detailed mechanisms that describe this complex chemistry must be reduced before being used in CFD codes (Fiorina et al., 2015). An interesting method is the

Thesis M/F: 2D Imaging of 3D Cloud Crystals: Analysis of the Impact of Crystal Orientation During Imaging on the Retrieval of Microphysical and Morphological Properties

CNRS | Aubiere, Auvergne | France | 11 days ago

26 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire de météorologie physique Research Field Environmental science Environmental science » Earth science Environmental science

Optimisation des interfaces électrode/électrolyte dans les batteries Li tout solide (M/F)

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

13 Sep 2025 Job Information Organisation/Company CNRS Department Chimie du solide et de l'énergie Research Field Chemistry » Physical chemistry Chemistry » Computational chemistry Researcher Profile