Sort by
Refine Your Search
-
Country
-
Employer
- University of Nottingham
- Aalborg University
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- Fondazione Bruno Kessler
- Graz University of Technology
- KU LEUVEN
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Technical University of Munich (TUM)
- University of Warwick
- Università degli Studi di Firenze
- 2 more »
- « less
-
Field
-
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 risk measures considering both decision objectives and available resources. The central scientific aim of the PhD project is to establish formal links between uncertainty representations, risk measures
-
considering both decision objectives and available resources. The central scientific aim of the PhD project is to establish formal links between uncertainty representations, risk measures, and downstream
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions