-
, Formal Methods, and Human-Centred Computing. We place a strong emphasis on psychological safety, diversity, and inclusive research practices, and work actively to cultivate a positive everyday environment
-
dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental
Searches related to formal method
Enter an email to receive alerts for formal-method positions