3 software-formal-method-phd PhD positions in France

PhD candidate in AI and cognitive sciences

Nature Careers | Bouy Luxembourg, Champagne Ardenne | France | 20 days ago

of Humanities, Education and Social Science at the University of Luxembourg. The xCIT research group has developed a comprehensive suite of software tools for developing and deploying online studies as

PhD Position F/M [Campagne Allocation Région 2025] Automatic Generation of Attack Chains for Detecting and Preventing Software Vulnerability (F/M)

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 months ago

(you can choose between) not applicable The goal is to develop methods, techniques and tools to prevent deserialization attacks in applications. Is regular travel foreseen for this post ? No Assignments

PhD position M/F in Verification of probabilistic properties for Artificial Intelligence

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

the project members of the SAIF project (Safe Artificial Intelligence through Formal Methods), of the French National Research Programme on Artificial Intelligence PEPR IA. AI is now embedded into a number of