Vacancies for doctoral researchers – Aachen, Germany

Vacancies for doctoral researchers in the postgraduate program

“Uncertainty and Randomness in
 Algorithms, Verification and Logic”

at RWTH Aachen University, Aachen, Germany

The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. Several positions are available within
the interdisciplinary Research Training Group (RTG) UnRAVeL founded by
the German Research Foundation DFG. The key emphasis of an RTG is on
the qualification of doctoral researchers with a focused research
program and a structured training strategy.

The RTG UnRAVeL aims to significantly advance probabilistic modelling
and analysis for uncertainty by developing new theories, algorithms, and
tool-supported verification techniques, and to apply them to core
problems from security (e.g., probabilistic protocols), planning
(robotics and railway engineering), and safety and performance analysis
(railway systems). To tackle these research challenges, theoretical
computer scientists from computer-aided verification, logic and games,
algorithms and complexity, together with experts from management science
(robust optimization), applied computer science (robotics and security),
and railway engineering intensively cooperate within our RTG.

Required profile.
Candidates must have (or soon obtain) a master degree in Computer
Science, Mathematics or related area and have completed their studies
with excellent grades. You should have interest in performing original,
highly competitive scientific research, publishing your results in top
conferences and scientific journals. Self-motivation and the ability to
work both independently and as a team player in local and international
research groups are expected. Fluency in English is required;
proficiency in German is helpful but not compulsory.

How to apply?
Your written application should contain:

- a curriculum vitae
- a transcript of records (list of courses and grades)
- a cover letter including a statement of interest in (some of) the
  RTG topics that can be found on our web-site (see below).

All documents should be formatted as a single pdf-file.

You should send your application ultimately by ** November 1, 2017 (AoE)
** to the e-mail address:

Any recommendation letters can be send separately to the e-mail address
above with the name of the applicant in the e-mail subject.

What do we offer?
We offer a stimulating international research environment, the
possibility to participate in highly competitive and interdisciplinary
research and the opportunity to involve students in your research
through project work. Doctoral researchers have a status as employee
with a salary according to the German federal employee scale TV-L E13;
the exact salary is subject to your family situation. The duration of
the positions is three years. RWTH Aachen University offers excellent
facilities for professional and personal development. Starting date of
the positions is as early as possible.

More information about the RTG UnRAVeL can be found at:

Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail:

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.

Comments are closed.