2 software-formal-method-phd positions at Delft University of Technology (TU Delft) in Netherlands
-
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
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in developing screening methods to enable subsurface H2 storage? If you enjoy working
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions