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 one leaning towards advancing theory and the other to be done in close collaboration with domain experts from the Netherlands Railways (NS), leading to significant scientific as well as practical impact.