PhD Student / Research Assistant Position: Formal Methods in Software and Systems Engineering

PhD Student / Research Assistant Position: Formal Methods in Software and Systems Engineering

In my group at the University of Konstanz, Germany, I have an opening for a full-time PhD Student / Research Assistant Position in Formal Methods in Software and Systems Engineering to be filled starting August 1, 2016. The appointment will be initially for 3 years, with a possibility of extension. It is primarily geared towards PhD candidates, but in exceptional circumstances post-doctoral candidates can be considered as well. Competency in German is not a prerequisite.

The full advertisement can be found at:

http://www.uni-konstanz.de/stellenangebote/?cont=stellausw&seite=2016/061&id=1

Prof. Dr. Stefan Leue
Chair for Software and Systems Engineering Department of Computer and Information Science University of Konstanz, Box 67
D-78457 Konstanz, Germany