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 Students

André Platzer

Master's thesis

Formalization of Game Logic with Sabotage in Isabelle/HOL	Marvin Brieger Noah Abou El Wafa
Beweisbares Vergessen von Information in interaktiven System	Dr. Alexander Weigl
Implementing Differential Algebraic Invariant Checking	Noah Abou El Wafa
Real-time Specification with Contract Automata	Dr. Alexander Weigl
Specification Mining of Contract Automata	Dr. Alexander Weigl

Bachelor's thesis

Automatic dL Model Quality Evaluation	Noah Abou El Wafa Jonathan Laurent
Java Byte-Code Verifikation mit KeY	Dr. Alexander Weigl