ResponsibilitiesThe 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 Fundamentals of Programming with a focus on design and development of semantic-based tools, e.g. for compiler construction, for program development or support for organizing and handling of large amounts of code as well as formal methods for specification, refinement, implementation, verification or translation of programs, and techniques to support the development of safe, reliable systems. Teaching responsibilities include courses in the university’s bachelor and master programs, with a particular emphasis on teaching programming languages in the bachelor program of the professional profile “Informatics”.

TUM provides excellent working conditions in a lively scientific community, embedded in the vibrant research environment of the Greater Munich Area. The TUM environment is multicultural, with English serving as a common interface for scientific interaction. TUM offers attractive and performance-based salary conditions, a sustainable pension scheme and social benefits.

We are looking for candidates who have demonstrated excellent achievements in research and teaching in an internationally recognized scientific environment, relative to the relevant career level (please see www.tum.de/en/faculty-recruiting-faq/ for further information).