6 formal-methods "CNR" PhD positions

CDD Researcher (M/F) in Large Language Models (LLMs) for natural language argumentation

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

26 Nov 2025 Job Information Organisation/Company CNRS Department Institut de Recherche en Informatique de Toulouse Research Field Computer science Mathematics » Algorithms Researcher Profile First

PhD student position in Geography, Geomatics, Mathematics (M/F)

CNRS | Aix en Provence, Provence Alpes Cote d Azur | France | about 2 months ago

31 Oct 2025 Job Information Organisation/Company CNRS Department Etudes des structures, des processus d'adaptation et des changements de l'espace Research Field Geography Architecture Sociology

Participatory Science and Mountain risks (M/F) (PHD)

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

27 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire de Géographie Physique : Environnements Quaternaires et Actuels Research Field Environmental science Political sciences

PhD Position: Designing Mixed Reality Environments for Memory Work (M/F)

CNRS | Compiegne, Picardie | France | 3 months 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

PhD in Chemistry - EU Doctoral Network CHIRALNANOMAT

Università degli Studi di Trieste | Italy | 3 months ago

restrictions may apply), you are encouraged to contact already the perspective supervisor (Prof. Mauro Stener stener@units.it for an expression of interest. Formal selection procedures will then start after

PhD / Doctorate •

Leipzig University • | Leipzig, Sachsen | Germany | 1 day ago

of biomolecules which can only be successfully tackled by employing a variety of different theoretical methods. In this respect, this joint graduate college brings together the expertise in analytical theory from