Open Positions
The following is a brief summary of the subject areas in which we offer theses are briefly summarized below. There are (almost) always current, concrete topics for theses in the mentioned areas. Furthermore, at the bottom of this page you will 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.
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 | Alexander Weigl |
| Real-time Specification with Contract Automata | Alexander Weigl |
| Specification Mining of Contract Automata | Alexander Weigl |
Bachelor's thesis
| Automatic dL Model Quality Evaluation | Noah Abou El Wafa Jonathan Laurent |
| Java Byte-Code Verifikation mit KeY | Alexander Weigl |