[Om-announce] Open PostDoc Positions

[Martin Leucker]

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.
- Extensions to 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.


ELIGIBILITY

Applicants are expected to have:

- (or expect shortly to obtain) PhD in Computer science
- good computer science 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
- Publications in international conferences or journals


CONDITIONS

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.


DEADLINE

The deadline for applications is 30.08.2017, but later applications can
be considered. Please submit your application via Email to
leucker at isp.uni-luebeck.de
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.

CONTACT

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


ABOUT US

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: www.isp.uni-luebeck.de




-- 
------------------------------------------------------------------------
| Martin Leucker                                                       |
| Institute for Software Engineering and Programming Languages         |
| University of Luebeck                                                |
| Germany                                                              |
------------------------------------------------------------------------
| NEW NUMBER:                   | Email: leucker at isp.uni-luebeck.de    |
| Tel.: +49/451/3101 6500       | Web:   http://www.isp.uni-luebeck.de |
------------------------------------------------------------------------