Assistant Professor in Logic, Automata, and Game Theory in Computer Science, Munich (Germany)

The Technical University of Munich (TUM) invites applications for the position of Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science, to begin as soon as possible. The position is a W2 fixed-term (6 year) tenure-track professorship with the possibility for promotion to a tenured W3 position.

The responsibilities include research and teaching as well as the promotion of early-career scientists. We seek to appoint an expert in the research area of Logic, Automata, and Games with applications to Formal Verification, Automatic Synthesis, Automated Reasoning or Learning. Teaching responsibilities include Basic courses in the Professional Profile 'Informatics', in particular Theoretical Computer Science, at Bachelor’s and Master’s level.