-
research at the department, such as: real-time and embedded systems distributed systems security and privacy formal methods artificial intelligence and machine learning Pedagogical expertise The pedagogical
-
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