3 formal-verification-computer-science uni jobs in France

PhD in Formal Verification with Intelligent Agents

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

jointly supervised by Prof. Dr. Jun Pang and Dr. Alfredo Capozucca. Responsibilities: Conduct research in the field of formal verification with AI agents Write a doctoral dissertation in computer science

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

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

. We are seeking a motivated researcher with: A PhD in computer science, embedded systems, or related fields. Expertise in fault-injection attacks, formal verification, or microarchitecture security

Professor - Ense3 _Génie Industriel_ Phelma_ Polytech

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

Professor recruited will be involved in teaching in one or more areas of Section 61, Computer Engineering (Real Time, Architecture, Networks), Automatics (Continuous and Discrete Automatics, Robotics