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 StudentsAndré Platzer

Master thesis

Beweisbares Vergessen von Information in interaktiven SystemAlexander Weigl
Real-time Specification with Contract AutomataAlexander Weigl
Specification Mining of Contract AutomataAlexander Weigl

Bachelor thesis

Java Byte-Code Verifikation mit KeYAlexander Weigl