Two (2) PhD Positions on Algorithms for Formal AI Verification and
Explainability
Research / Academic
Delft
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-world deployment of AI, with...
Temporary