2 software-verification-computer-science PhD positions at Delft University of Technology (TU Delft); Delft in Netherlands

PhD Position Find2Fix: Reducing Software Errors Using Transparant AI

Delft University of Technology (TU Delft); Delft | Netherlands | about 1 month ago

useful for research, education, and industrial use. Your research will be published and presented at international AI, software engineering, and security venues. The position is focused on discovering new

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

Delft University of Technology (TU Delft); Delft | Netherlands | about 2 months 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