2 formal-method-phd PhD scholarships at Delft University of Technology (TU Delft)

Two EXPLORA training network PhD projects on perception of light art and materials

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

to study how exploratory behavior impacts perception! And design multisensory EXPLORA kits with your team to show the world what light and materials can do. Job description Two PhD projects (nrs 10 and 13

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

Delft University of Technology (TU Delft) | Netherlands | 29 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