Junior Professorship (W1)
of Software-Verification

Institution: Faculty of Mathematics, Computer Science, and Statistics
(Institute of Informatics)
Closing date for applications: 2017-11-09
Start date: as soon as possible
Term duration: 3 years

As one of Europe’s leading research universities, Ludwig-Maximilians-Universität (LMU) in Munich is committed to the highest international standards of excellence in research and teaching (see also some news on LMU's ranking). Building on its more than 500-year-long tradition, it offers a broad spectrum that covers all areas of knowledge within its 18 faculties, ranging from the humanities, law, economics, and social sciences, to medicine and the natural sciences.


The primary tasks of the successful candidate include to complement the teaching and research profile of the Research Chair Software and Computational Systems. In terms of teaching, the plan is to support and broaden the existing repertoire of courses. In terms of research, synergies with the existing areas are desired; the candidates should ideally have a publication record in the areas of software verification, testing, theorem proving.


Prerequisites for this position are a university degree, teaching skills at university level, and an aptitude for an academic career, usually evidenced by the excellent quality of a doctoral degree. If the applicant was employed as a research assistant either before or after obtaining the doctoral degree, the entire duration of the period of employment and of the doctoral degree should not exceed six years.

The position is a fixed-term professorship for the duration of three years. Pending a positive evaluation, the position may be extended by another period of three years. A conversion to an indefinite position (tenure track) is not possible.

LMU Munich makes a point of providing newly appointed professors with various types of support, such as welcoming services and assistance for dual career couples. LMU Munich is an equal opportunity employer. The University continues to be very successful in increasing the number of female faculty members and strongly encourages applications from female candidates. LMU Munich intends to enhance the diversity of its faculty members. Furthermore, disabled candidates with essentially equal qualifications will be given preference.

Please submit your application comprising a curriculum vitae, documentation of academic degrees and certificates as well as a list of publications to the Dean of the Faculty of Mathematics, Computer Science, and Statistics, Ludwig-Maximilians-Universität München, Theresienstr. 39, 80333 Munich, Germany, no later than November 9, 2017.

The official text of the opening in German can be found on the central LMU web site.

Contact: Prof. Dr. Dirk Beyer