Postdoc positions in Formal Verification / Software Engineering

The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for two postdoc positions in the area of 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 visualization.
  • Guided runtime verification: combine testing and runtime verification.

Successful applicants will work on a project in which they will develop an industrially employed web-based software system with monitoring and verification features.

Applicants are expected to have:

  • (or expect shortly to obtain) PhD in Computer science
  • good computing background
  • Strong background in formal methods, especially (runtime) verification, model checking, testing architecture, web-based systems, software development, project management
  • Strong interest in research
  • Proficiency in English and good communication skills
  • Publications in international conferences or journals

The postdoctoral positions are contract appointments starting with two years, renewable depending on performance. Salary will be according to E-13 TV-L West tariff category.

The deadline for applications is 30.08.2017, but later applications can be considered. Please submit your application via Email to leucker [at]
Applications must include a full CV, publication list and a half-page research statement indicating what are the most interesting research issues relating to the post above and why your expertise is relevant.

If you have questions about the project, required background, the position itself or application process please contact Prof. Dr. Martin Leucker (ISP): leucker [at] (.)