2 formal-verification PhD positions at CNRS

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification positions

PhD thesis on the formalization and integration of well-being into recommendation algorithms (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | 1 day ago

. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
Researcher - Fixed-term contract - Research profile: transcription of 14th and 15th century manuscripts and Project Manager (M/F)

CNRS | Aubervilliers, le de France | France | 3 months 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

Enter an email to receive alerts for formal-verification positions