An­ge­bot 194 von 240 vom 30.06.2017, 00:00



12 positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL founded by Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research programme 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 the RTG UnRAVeL.  

12 Research Assistant/Associate

Hin­wei­se zur Be­wer­bung:

For further details, please contact
Prof. Joost-Pieter Katoen
Tel.: +49 (0) 241 80 21 200

Helen Bolke-Hermanns
Tel.: +49 (0) 241 80 21 004

For further information, please visit our website at:

Please send your application by July 14, 2017 to
Prof. Joost-Pieter Katoen
Lehrstuhl für Informatik 2
RWTH Aachen University
52056 Aachen

You can also send your application via email to 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.