-
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
-
of Computer Science has the following research groups: Automated System Verification and Validation Data Engineering, Science, and Systems Distributed Sustainable Software and Systems Formal Methods for Security and
-
Systems. The position is open to applicants to be affiliated with one of the research groups: Automated System Verification and Validation, Distributed Sustainable Software and Systems, Formal Methods
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions