Sort by
Refine Your Search
-
candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental evaluation. The position is hosted
Enter an email to receive alerts for software-formal-method-phd "https:" positions