Open Positions

On this page you can find a selection of specific project and thesis topics. If you are interested in one of the topics or subject areas or if you interested in a position as a student assistant (“HiWi”) in these areas areas, please arrange an appointment with one of our employees by e-mail. If you cannot find a suitable topic here, but are interested in our research, please contact us directly.

PhD positons

Recruiting: Doctoral Researchers / PhD StudentsAndré Platzer

Master's thesis

Formalization of Game Logic with Sabotage in Isabelle/HOLMarvin Brieger
Noah Abou El Wafa
Implementing Differential Algebraic Invariant CheckingNoah Abou El Wafa
Scaling Up Program Synthesis and Verification with Large Language ModelsJonathan Laurent

Bachelor's thesis

Automatic dL Model Quality EvaluationNoah Abou El Wafa
Jonathan Laurent