I am interested in hands-on collaboration with other researchers (PhDs, Postdocs, PIs) already working in neural network verification and related areas starting September 2026.
I am also accepting applications for:
PhD positions
Master's students (thesis and non-thesis projects)
Research engineer positions
beginning Autumn 2026 and onwards to do research on neural network verification topics.
All positions based in Tübingen, Germany.
The ideal candidate either has already done research in neural network verification for dynamical systems, or has a strong background in (1) mathematical optimization, (2) machine learning (esp. RL), (3) dynamical systems, (4) control theory, and (5) formal methods. If you do not have background in all of these areas, you may still apply. If you have time remaining in your studies, you might consider a course covering one of the topics that you are unfamiliar with. Applicants are encouraged to apply from diverse disciplines including computer science, mechanical engineering, electrical engineering, industrial engineering, mathematics, and others. Applicants with personal backgrounds underrepresented in these fields of study are encouraged to apply.
Remote work within Germany may be possible and will be discussed on a case-by-case basis.
I believe in an inclusive work environment where people of different backgrounds and different roles feel included, supported, and acknowledged for their contributions. I plan to lead all students along a path from guided contribution to independence. I am looking to build a community of students and researchers that share these values and work collaboratively together.
More info to come soon!