Doctorate and Postdoctoral Researchers



Prof. Joost-Pieter Katoen


+49 2418021200



Chair of Software Modelling and Verification

Our profile

One of the main focuses of the Department of Informatics 2 (Software Modeling and Verification) is the verification of probabilistic programs that enable the implementation of probabilistic models. They extend classical computer programs with probabilistic operations such as the random choice of a value and the observation of program execution. They have a variety of applications such as Bayesian mesh analysis, randomized algorithms and machine learning.

With this call, we are seeking reinforcement for our research team in the recently acquired ERC Advanced Grant "Formal Reasoning about Probabilistic Programs (FRAPPANT)". The aim of this project is the development of formal techniques for the analysis of probabilistic programs based on model checking, deductive verification and static analysis. These are intended to solve difficult problems such as the equivalence and robustness of programs, the synthesis of loop invariants and parameter values, the program correction and the exact Bayesian inference. The developed methods are evaluated in the context of graphical probabilistic models, randomized algorithms and autonomous robots.

We give the opportunity to work internationally in a promising and interdisciplinary field of research. In an excellent university and research environment, there is the possibility of qualification during or after a doctorate. We offer a young, dynamic and committed research team, a pleasant, open working environment as well as very good cooperation opportunities with students, other groups within the RWTH Aachen and internationally renowned research institutions.

Your profile

Applicants for a PhD position have (or soon obtain) a master degree (or equivalent) in Computer Science, Mathematics or related area and have completed their studies with excellent grades. Applicants for a postdoctoral researcher position have in addition completed a PhD in one of the aforementioned areas and have a good publication track record. Candidates should have interest in performing original, highly competitive scientific research within a research group, publishing your results in top conferences and scientific journals. Fluency in English is required; proficiency in German is helpful but not compulsory.

Your responsibilities

Research in the field of verification of probabilistic programs

- Participation in research projects of the group and in the acquisition of third-party funds

- Development of software tools for implementing analysis algorithms

- Preparation of scientific publications

- Teaching support through conception of exercises, administrative and content accompanying events.

What we offer

The successful candidate will be employed as a public servant.
The position is to be filled 01.11.2018 until for two years (with a possible extension for another two years).
This is a full-time position. It is also available as part-time employment per request.
The successful candidate has the opportunity to pursue a doctoral degree in this position.
The salary corresponds to level EG 13 TV-L.

RWTH Aachen University is certified as a Family-Friendly University.
We particularly welcome and encourage applications from women, disabled persons and ethnic minority groups, recognizing they are underrepresented across RWTH Aachen University.
The principles of fair and open competition apply and appointments will be made on merit.

Application deadline:22.06.2018
Mailing Address:Prof. Dr. Joost-Pieter Katoen
Chair of Software Modelling and Verification
Department of Computer Science
52056 Aachen, Germany
Please note, however, that communication via unencrypted e-mail poses a threat to confidentiality as it is potentially vulnerable to unauthorized access by third parties.