-
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
-
educational programs in Computer Science, is now seeking a PhD student with a focus on symbolic AI. The Department of Computing Science has been growing rapidly in recent years, with a focus on creating an
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions