Open positions in verification at TUM

Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky Topics:
We are looking for highly motivated candidates who will fit our enthusiastic and collaborative group spirit.

Post-doc: The applicant is expected to have a solid publication record in theoretical CS. Experience with biological applications, robotics applications, or machine learning is also appreciated.

PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below.

Developer: Your tasks will include making Automata Tutor an open-source project, supervising deployment, and improving the tool by developing and implementing user-stories. Additionally, we are interested in analyzing the student solutions using machine learning.

We offer:

Applications online by email to (subject = "application for position") with attached CV, transcript of records, motivation letter, and references.
Deadlines: the positions are to start in Summer, Autumn or as negotiated; applications are due by Sep 13 but may continue until the positions are filled.

Please contact for any further information.