PhD student position or postdoctoral position in formal methods, Konstanz (Germany)

The Chair for Software and Systems Engineering (Prof. Stefan Leue) of the University of Konstanz has the immediately opening of a definite term full-time Research Assistant / PhD Student / Post-Doc position available for up to three years, with the possibility of a finite extension.

We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems. While preference will be given to candidates intending to pursue a PdD, applications from post-doctoral researchers with fitting interests will also be considered. The salary is according to the payscale Entgeltgruppe 13 of the TV-L labor agreement.