RWTH Aachen - Chair of Software Modelling and Verification
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.
Doctorate and Postdoctoral Researchers
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.
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.
What we offer:
The position is for two years (with a possible extension for another two years) and is to be filled by November 1, 2018. 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.
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.
Please send your application by June 22, 2018 to
Prof. Dr. Joost-Pieter Katoen
Chair of Software Modelling and Verification
Department of Computer Science
52056 Aachen, Germany
You can also send your application via email to email@example.com. 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.