Animation and exchanges in the Petri Nets community

[address@concealed]

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: address@concealed