3 formal-verification PhD positions at CNRS

Researcher - Fixed-term contract - Research profile: transcription of 14th and 15th century manuscripts and Project Manager (M/F)

CNRS | Aubervilliers, le de France | France | 30 days ago

. - Palaeographic and Latin verification of transcriptions based on fourteenth- and fifteenth-century Latin manuscripts - Production of prosopographical profiles to be added to the database DEBATE - Conducting

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

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

which -but not limited to- the lack of reasoning capabilities to output consistent arguments that convey formal logical relations beyond the surface level of arguments, their limited generalizability

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

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

-scalar spatio-temporal systems while proposing new frameworks for understanding urban dynamics through the combination of mathematical formalisms and geoinformatics. Methodologically, it aims