The page you are requesting does not exist. You can start your search here!
-
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
-
. 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
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions