147 software-formal-method-phd PhD positions at CNRS

  • CNRS | Villetaneuse, le de France | France | 29 days ago

    University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models

  • CNRS | Montpellier, Languedoc Roussillon | France | 4 days ago

    Recombination team is a multinational team (France, Switzerland, Italy, India) composed of three researchers, two engineers, one PhD student, and several master students. The working language is English. The

  • CNRS | Paris 05, le de France | France | 4 days ago

    the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD thesis will

  • CNRS | Villeneuve la Garenne, le de France | France | about 1 month ago

    developed a novel method for the growth and transfer of piezoelectric materials (lithium niobate), able to overcome certain technological challenges. The mission of the PhD student will be to contribute

  • CNRS | Compiegne, Picardie | France | 17 days ago

    students' historical reasoning in non-formal settings. Interactive Learning Environments Hageneuer, S. (2020). Communicating Past in the Digital Age. In Intern. Conf. on Digital Methods in Teaching and

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

    Offer Description The work will be performed in the team Cascales (https://www.cascaleslab.fr ) of the Laboratoire d'Ingénierie des Systèmes Macromoléculaires (LISM). It is a joint PhD fellowship between

  • CNRS | Thiais, le de France | France | 24 days ago

    Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD

  • CNRS | Orleans, Centre | France | 12 days ago

    10 Oct 2025 Job Information Organisation/Company CNRS Department Institut de Combustion, Aérothermique, Réactivité et Environnement Research Field Engineering Chemistry Physics Researcher Profile First Stage Researcher (R1) Country France Application Deadline 30 Oct 2025 - 23:59 (UTC) Type of...

  • CNRS | Pessac, Aquitaine | France | 13 days ago

    intensified methods, such as ultrasound-assisted extraction or pressurized solvent extraction. Among project partners, the extracts will also undergo encapsulation. This PhD project therefore lies

  • CNRS | Lille, Nord Pas de Calais | France | 7 days ago

    13 Oct 2025 Job Information Organisation/Company CNRS Department Hétérogénéité, plasticité et résistance aux thérapies des cancers Research Field Biological sciences Researcher Profile First Stage Researcher (R1) Country France Application Deadline 4 Nov 2025 - 23:59 (UTC) Type of...

Enter an email to receive alerts for software-formal-method-phd positions