Context.The RWTH Aachen University is looking for enthusiastic and highlyqualified doctoral researchers. 12 positions are available within theinterdisciplinary Research Training Group (RTG) UnRAVeL founded byDeutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is onthe qualification of doctoral researchers with a focused researchprogram and a structured training strategy. The RTG UnRAVeL aims tosignificantly advance probabilistic modelling and analysis foruncertainty by developing new theories, algorithms, and tool-supportedverification techniques, and to apply them to core problems fromsecurity (e.g., probabilistic protocols), planning (robotics and railwayengineering), and safety and performance analysis (railway systems). Totackle these research challenges, theoretical computer scientists fromcomputer-aided verification, logic and games, algorithms and complexity,together with experts from management science (robust optimization),applied computer science (robotics and security), and railwayengineering intensively cooperate within the RTG UnRAVeL.

Required profile.Candidates must have (or soon obtain) a master degree in ComputerScience, Mathematics or related area and have completed their studieswith excellent grades. You should have interest in performing original,highly competitive scientific research, publishing your results in topconferences and scientific journals. Self-motivation and the ability towork both independently and as a team player in local and internationalresearch 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), and- a recommendation letter e.g., by your master thesis supervisor(s).

All documents should be formatted as a single pdf-file. You should sendyour application ultimately by ** July 14, 2017 (AoE) ** to the e-mailaddress: unravel-appl@cs.rwth-aachen.de

What do we offer?We offer a stimulating international research environment, thepossibility to participate in highly competitive and interdisciplinaryresearch and the opportunity to involve students in your researchthrough project work. Doctoral researchers have a status as employeewith a salary according to the German federal employee scale TV-L E13;the exact salary is subject to your family situation. The duration ofthe positions is three years. RWTH Aachen University offers excellentfacilities for professional and personal development. Starting date ofthe positions: as soon as possible from October 1, 2017 on.

RWTH Aachen University is certified as a "Family-Friendly University".We particularly welcome and encourage applications from women, disabledpersons and ethnic minority groups, recognizing they areunderrepresented across RWTH Aachen University. The principles of fairand open competition apply and appointments will be made on merit._______________________________________________Unravel mailing listUnravel@lists.rwth-aachen.dehttps://mailman.rwth-aachen.de/mailman/listinfo/unravel?************************************************************ Contributions to be spread via DMANET are submitted to** DMANET@zpr.uni-koeln.de** Replies to a message carried on DMANET should NOT be* addressed to DMANET but to the original sender. The* original sender, however, is invited to prepare an* update of the replies received and to communicate it* via DMANET.** DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/***********************************************************