Assistant Professorship (W1) for Semantics and Verification of Parallel Programs

The Department of Computer Science of Technische Universität Darmstadt invites applications for an

Assistant Professorship (W1) for
Semantics and Verification of Parallel Programs

This professorship is established in the context of the recently granted LOEWE research cluster Software-Factory 4.0 (, and shall strengthen this research project. In addition, this professorship shall strengthen the area of Formal Methods in theoretical computer science, and the research focus area Massively Parallel Software Systems in the department. The position is without tenure and available for 6 years.

Candidates should have a strong research and publication background in the area of semantics and verification of parallel software systems, and should strive to extend and deepen their research profile in this area. Examples for relevant topics are

  • Concurrency Theory
  • Construction and Validation of Weak Memory Models
  • Formal Modelling of Concurrent Systems
  • Program Analyses for Multi-threaded Programs
  • Semantics of Concurrent languages
  • Separation Logic
  • Verification of Efficiently Parallelized Programs

Candidates should have demonstrated the ability to carry out innovative research projects by publications at international conferences and in journals. An international network and experiences in carrying out and applying for third-party-funded research projects would be helpful. The ability and interest to collaborate within Computer Science and interdisciplinarily with other research groups is expected. Candidates should actively contribute to the success of the LOEWE research cluster by research contributions and initiative.

Applicants should hold a Ph.D. degree. The experience as post-doctoral researcher should not exceed a total of 4 years. The prerequisites according to § 64 Abs. 3 HHG apply. The asssistant professorship is designed as qualification professorship as per § 64 HHG. The position is limited to six years. Remuneration follows the German W-Besoldung at level W1 Hessisches Besoldungsgesetz.

The Technische Universität Darmstadt intends to increase the number of female employees and encourages female candidates to apply. In case of equal qualifications applicants with a degree of disability of at least 50 or equal will be given preference.

The Technische Universität Darmstadt is certified as a family-friendly university and offers a dual career program.

For additional information please contact: Prof. Dr. Heiko Mantel, Department of Computer Science, TU Darmstadt, Hochschulstraße 10, 64289 Darmstadt, Germany; E-Mail:

Qualified applicants must submit a letter of application, a curriculum vitae, a list of publications, a summary of completed and planned research and teaching activities, and special prints of 3-5 selected publications until April 22, 2018 to the following address: TU Darmstadt, Dekanat des Fachbereichs Informatik, Hochschulstraße 10, 64289 Darmstadt. Later applications can be considered. Alternatively, you can send these documents via E-Mail to

Code. No. 115

Application deadline: April 22, 2018