In my group we like to work on formal methods for software and systems
modeling and analysis, with particular interest in systems modeling and
model checking and in applying formal methods research in practical
settings. We have recently come up with the concept of causality checking and are developing tools for system safety analysis.
Currently, there are two openings in my group for full-time research
assistant positions (German public service pay scale TVL-13):
1. PhD student (preferred) or Post-Doc. Proficiency in German is not a
prerequisite for this position. See the official job ad in German and
2. Research Assistant or Post-Doc. Some proficiency in German is
desirable. This position is more devoted to tool development. See the
official job ad in German at:
The application deadline for both positions is 9 March 2015.