Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
addition to these requirements, we also require that the candidate has a Ph.D. in Computer Science. Proven expertise in formal methods for verifying safety and security of autonomous systems, and digital twin design, prior
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
. Qualifications requirements The applicant is required to have a PhD degree in Computer Science, Software Engineering, or related fields. The applicant must have completed the degree no more than three years before
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions