Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
theory, and/or formal verification of automation systems. The PhD should have been awarded no more than three years prior to the application deadline.* Strong written and verbal communication skills in
-
to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions