Email Gateway (Aug 02 2026 at 21:28): Email Gateway (Aug 02 2026 at 21:28):From: "Dubslaff, Clemens" <cl-isabelle-users@lists.cam.ac.uk>
Subject: [isabelle] PhD Position in Resilient Machine Learning and Formal Methods (TU Eindhoven, Netherlands)
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).
Application deadline: 20 August 2026 (position stays open until filled)
More information and details at
https://www.tue.nl/en/working-at-tue/vacancy-overview/phd-in-resilient-machine-learning-and-formal-methods
We look forward to receiving your applications. Please share the link with colleagues and interested candidates that are passionate about formal methods and artificial intelligence.
In case of questions, contact the supervision team
Cassio de Campos, Clemens Dubslaff, and Mykola Pechenizkiy
(mention PhD Resilient ML in the subject line).
Clemens Dubslaff
Formal System Analysis Cluster
Department of Mathematics and Computer Science
Eindhoven University of Technology
office: MF 6.099
web: clemensdubslaff.de
email: c.dubslaff@tue.nl
Last updated: Aug 12 2026 at 20:47 UTC