Twelve PhD student positions in "Uncertainty & Randomness in Algorithms, Verification & Logic", Aachen (Germany)

The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL. The RTG UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty. Candidates must have (or soon obtain) a master degree in Computer Science, Mathematics or related area and have completed their studies with excellent grades. Proficiency in German is helpful but not compulsory.