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: [email protected] _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
