Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Groningen
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- University of Amsterdam (UvA)
- University of Groningen; 26 Sep ’25 published
-
Field
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions