PW3 Associate or Full Professor; to begin as soon as possible. /p pScientific environmentbr / The professorship will be assigned to the TUM Department of Computer Science at the TUM School of Computation, Information and Technology. /p pResponsibilitiesbr / 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:br / Automatic and/or interactive theorem provingbr / Innovative applications of theorem proving in Computer Science and Mathematicsbr / Logic-based approaches to the analysis, verification, diagnosis, repair, or synthesis of programsbr / Semantics of programming languagesbr / 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. /p pQualificationsbr / 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 a /a 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. /p pOur Offerbr / 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.br / 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.br / 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. /p pYour Applicationbr / 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 a /a. Here you will also find TUM's information on collecting and processing personal data as part of the application process. /p pPlease send your application no later than 31 May, 2025, via our recruitment portal: a /a /p