4 formal-method "https:" PhD positions in France

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

CNRS | Toulouse, Midi Pyrenees | France | about 1 month ago

for representing and reasoning about arguments, and axiomatically-grounded methods of argument evaluation. Natural language argumentation is a young research area at the crossroads of natural language processing

Four-year PhD position in “Mapping immunoediting and heterogeneity in primary and metastatic breast cancer

Aix-Marseille Université | Marseille, Provence Alpes Cote d Azur | France | 2 months ago

metastases.  spaXio combines cutting-edge methods like spatial multi-omics, 3D tumoroid models, and AI-powered data analysis to uncover how metastatic niches form and how they might be targeted therapeutically

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

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

for monitoring territorial and development changes. Baltic cities are transforming at scales and rates that challenge conventional methods of spatial analysis. Today, urban areas are no longer just the setting

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