5 software-verification positions in France

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

CEA | Corbeil Essonnes, le de France | France | about 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 | about 1 month 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 | about 2 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

Professor - Ense3 _Génie Industriel_ Phelma_ Polytech

Grenoble INP - Institute of Engineering | Grenoble, Rhone Alpes | France | 2 months ago

and software implementations. With this recruitment, GIPSA-lab wishes to strengthen its core fields of signal processing, image processing and system control. Target application areas include energy

Post-doc Researcher in formal modeling of microarchitectures for timing analysis of embedded systems H/F

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

Sujet de stage As a member of a multidisciplinary technological research team comprised of experts in software/hardware analyses through the application of formal methods, you will actively contribute