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 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 also encouraged to apply.
Remote work within Germany may be possible and will be discussed on a case-by-case basis.
More info to come soon!