2 software-verification-computer-science uni jobs at CEA in France

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

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

REQUIRED SKILLS : Master’s, Engineering or PhD degree in Computer Science, Software Engineering, or related field Minimum 3 years of experience in software development Demonstrable experience in Java, Python

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

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