Two (2) PhD Positions on Algorithms for Formal AI Verification and Explainability
03/05/2024
Delft, Zuid-Holland
Offer Description You will conduct both theoretical and empirical research at the intersection of logic, optimization, machine learning, control, monitoring, interpretability, and visualization. Both PhD projects are inspired by real-worl...