2 formal-verification "DIFFER" PhD positions in Netherlands

PhD Position Explainable AI for Learning and Verification for High-tech Greenhouses

Delft University of Technology (TU Delft) | Netherlands | 2 days ago

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

PhD Position Explainable AI for Learning and Verification for High-tech Greenhouses

Delft University of Technology (TU Delft); Delft | Netherlands | 3 days ago

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