<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
====================================================================== <br>
    Various Open Positions for Doctoral Researchers <br>
    <br>
    in the post-graduate program UnRAVeL <br>
    <br>
    “Uncertainty and Randomness in Algorithms, Verification and Logic” <br>
    <br>
    at RWTH Aachen University, Aachen, Germany <br>
    Doctoral Positions at RWTH Aachen University<br>
    <a class="moz-txt-link-freetext"
      href="https://www.unravel.rwth-aachen.de/">https://www.unravel.rwth-aachen.de/</a>
    <br>
====================================================================== <br>
    <br>
    Context. <br>
    The RWTH Aachen University is looking for enthusiastic and highly <br>
    qualified doctoral researchers. Various positions are available
    within <br>
    the interdisciplinary Research Training Group (RTG) UnRAVeL founded
    by <br>
    Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is
    on <br>
    the qualification of doctoral researchers with a focused research <br>
    program and a structured training strategy. The RTG UnRAVeL aims to
    <br>
    significantly advance probabilistic modelling and analysis for <br>
    uncertainty by developing new theories, algorithms, and
    tool-supported <br>
    verification techniques, and to apply them to core problems from
    application <br>
    areas such as: applied machine learning (in control theory as well
    as network and data science), <br>
    planning in AI (e.g., robotics), as well as safety and performance
    analysis (railway systems). <br>
    Doctoral Positions at RWTH Aachen University<br>
    Within UnRAVeL, theoretical computer scientists from computer-aided
    verification, <br>
    automata and logic, algorithms and complexity, together with experts
    from management <br>
    science (robust optimization), applied computer science (network and
    data science), <br>
    mechanical and railway engineering intensively cooperate. <br>
    <br>
    Required profile. <br>
    Candidates must have (or soon obtain) a master degree in Computer <br>
    Science, Mathematics or related area and have completed their
    studies <br>
    with excellent grades. You should have interest in performing
    original, <br>
    highly competitive scientific research, publishing your results in
    top <br>
    conferences and scientific journals. Self-motivation and the ability
    to <br>
    work both independently and as a team player in local and
    international <br>
    research groups are expected. Fluency in English is required; <br>
    proficiency in German is helpful but not compulsory. <br>
    <br>
    How to apply? <br>
    Your written application should contain: <br>
    <br>
    - a curriculum vitae <br>
    - a transcript of records (list of courses and grades) <br>
    - a cover letter including a statement of interest in (some of) the
    <br>
      RTG topics, and <br>
    - a recommendation letter e.g., by your master thesis supervisor(s)
    <br>
    <br>
    All documents should be formatted as a single pdf-file. The
    recommendation <br>
    letter can provided separately, if needed. You should send your
    application <br>
    ultimately by ** December 20, 2021 (AoE) ** to the <br>
    e-mail address: <a class="moz-txt-link-abbreviated
      moz-txt-link-freetext"
      href="mailto:unravel-appl@cs.rwth-aachen.de">unravel-appl@cs.rwth-aachen.de</a>.
    We check applications <br>
    once they are received, and will conduct interviews until our
    vacancies <br>
    are filled. <br>
    <br>
    What do we offer? <br>
    We offer a stimulating international research environment, the <br>
    possibility to participate in highly competitive and
    interdisciplinary <br>
    research and the opportunity to involve students in your research <br>
    through project work.  Doctoral researchers have a status as
    employee <br>
    with a salary according to the German federal employee scale TV-L
    E13; <br>
    the exact salary is subject to your family situation. The duration
    of <br>
    the positions is three years with a possible extension to four
    years. <br>
    RWTH Aachen University offers excellent facilities for professional
    and <br>
    personal development.  Starting date of the positions: 2022
    (flexible). <br>
    <br>
    Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail: <br>
    <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
      href="mailto:katoen@cs.rwth-aachen.de">katoen@cs.rwth-aachen.de</a>).
    <br>
    <br>
    RWTH Aachen University is certified as a “Family-Friendly
    University”. <br>
    We particularly welcome and encourage applications from women,
    disabled <br>
    persons and ethnic minority groups, recognizing they are <br>
    underrepresented across RWTH Aachen University. The principles of
    fair <br>
    and open competition apply and appointments will be made on merit.
  </body>
</html>