PhD Position in Resilient Machine Learning and Formal Methods at Eindhoven University of Technology [NL]

The newly established "Center for Safe AI" at Eindhoven University of Technology (Netherlands) is looking for a PhD candidate to bring rigorous formal methods to resilient machine-learning systems. The candidate will join a unique interdisciplinary project at the interface of automated reasoning, probabilistic verification, and machine learning. Over this four-year PhD position, the goal is to develop machine-learning algorithms that are not only robust but also resilient by recovering and learning from failures at runtime. To ensure trustworthiness, these algorithms will be developed with a focus on formal guarantees on resilience.

A prerequisite is a very good Master's degree in computer science, mathematics, or a related field, and a strong background in theory (formal methods, theoretical computer science, foundations of machine learning).