The Technical University of Munich (TUM) invites applications for the position of Professor in Logic and Verification in Computer Science W3 Associate or Full Professor; to begin as soon as possible.
Scientific environment
The professorship will be assigned to the TUM Department of Computer Science at the TUM School of Computation, Information and Technology.
Responsibilities
The responsibilities include research and teaching as well as the promotion of early-career scientists. We seek to appoint an expert in the field of Logic and Verification in Computer Science with significant contributions to one or several of the following areas:
• Automatic and/or interactive theorem proving
• Innovative applications of theorem proving in Computer Science and Mathematics
• Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programs
• Semantics of programming languages
Teaching responsibilities include participation in theoretical education in the study programs Informatics. In particular in the lectures “Functional Programming and Verification” and “Theoretical Computer Science” in the Bachelor of Informatics as well as contributions to the specialization area “Formal Methods” in the Master of Informatics.
Qualifications
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).
A university degree and an outstanding doctoral degree or equivalent scientific qualification, as well as pedagogical aptitude, are prerequisites. Substantial research experience abroad as well as the proven ability and experience in research/science management and leadership and the proven ability to gain and to lead cooperative research projects and to attract third-party funding is expected.
Our Offer
Based on the best international standards and transparent performance criteria, TUM offers a merit-based academic career path for tenure track faculty from the permanent position as Associate Professor to Full Professor. The regulations of the TUM Faculty Recruitment and Career System apply.
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 and social benefits.
The TUM Munich Dual Career Office (MDCO) provides tailored career consulting to the partners of newly appointed professors. The MDCO assists the relocation and integration of new professors, their partners and accompanying family members.
Your Application
TUM is an equal opportunity employer and explicitly encourages applications from women. The position is suitable for disabled persons. Disabled candidates with essentially the same qualifications and scientific performance as other candidates will be given preference. Application documents should be submitted in accordance with TUM’s application guidelines for professors. These guidelines and detailed information about the TUM Faculty Recruitment and Career System are available at www.tum.de/faculty-recruiting. Here you will also find TUM’s information on collecting and processing personal data as part of the application process.
Please send your application no later than 31 May, 2025, via our recruitment portal: www.recruit.tum.de
