-
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
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions