-
. 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
-
. You have significant experience in architecture and/or in the use of formal methods. You also have a first experience in the design and verification/validation of real-time applications on multicore
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions