PhD position Formal Verification / Software engineering

by Martin Leucker, July 20, 2017

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for talented PhD students with a particular focus on Formal Verification/Software Engineering in the context of two research projects with industrial partners.

Research topics include, but are not limited to:
- Research on Formal Methods with application to Software Engineering (e.g.
Software Architecture, Verification, Web applications).
- Specification languages for verification properties, their expressiveness and
- Guided runtime verification: combine testing and runtime verification.

The PhD students are expected to spend part of their time working with the non-
academic project partners and develop an industrially employed web-based software system with monitoring and verification features.


Applicants are expected to have:

-    Master degree in Computer science
-    good computing background
-    Strong background in formal methods, especially (runtime) verification,
       model checking, testing
-    Strong background in practical software engineering areas: software
       architecture, web-based systems, software development, project management
-    Strong interest in research
-    Proficiency in English and good communication skills


The PhD positions are contract appointments starting with three years, renewable
depending on performance. Salary will be according to E-13 TV-L West tariff
category (full time basis).

The deadline for applications is 30.08.2017, but later applications can be considered.
Please submit your application via Email to .
Applications must include a full CV, a convincing motivation letter, list of your grades and copy of your Master's thesis (if already available).

If you have questions about the project, required background, the position itself or
application process please contact Prof. Dr. Martin Leucker (ISP): leucker@isp.uni-


University of Lübeck is a research university in Northern Germany. In the 2009 CHE evaluation, the university was ranked No. 1 in medicine and No. 2 in Computer Science and Molecular Life Science among all universities in Germany, Austria and Switzerland. It is also ranked among the top five universities in Germany in the competition on Exchanges between Universities and Corporations. It hosts a DFG Cluster of Excellence and a DFG Graduate School. In the field of computer science, Prof. Martin Leucker is director of University of Lübeck Institute for Software Engineering and Programming Languages and co-chair of the Competence Center Software Systems Engineering. For further information and related projects see: