3 software-verification positions in France

Software Engineer for AI-enabled Systems - CDD - Paris-Saclay W/M

CEA | Corbeil Essonnes, le de France | France | 2 months ago

Software Engineer for AI-enabled Systems for the CEA/DRT (Technological Research Department). This 36-monthfixed-term executive position is based on the Nano-Innov site in Paris-Saclay, Essonne (91). This is a

PhD in Formal Verification with Intelligent Agents

Nature Careers | Bouy Luxembourg, Champagne Ardenne | France | 2 months ago

live in. Your role We are seeking a highly motivated PhD candidate to research how artificial intelligence (AI) techniques can help software engineers formally specify and verify software systems. State

Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems

CEA | Corbeil Essonnes, le de France | France | 3 months ago

Domaine Mathématiques, information  scientifique, logiciel Contrat Post-doctorat Intitulé de l'offre Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems