Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science

The Technical University of Munich (TUM) invites applications for the position ofTenure Track Assistant Professorin Logic, Automata, and Game Theoryin 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.

Scientific environmentThe professorship will be assigned to the TUM School of Computation, Information and Technology (CIT).

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 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.

QualificationsWe are looking for candidates who have demonstrated initial scientific achievements and the capacity for independent research at the highest international level.

A university degree and an outstanding doctoral degree or equivalent scientific qualification, as well as pedagogical aptitude, are prerequisites.

Substantial research experience abroad is expected (please see www.tum.de / en / faculty-recruiting-faq / for further information).

Our OfferBased on the best international standards and transparent performance criteria, TUM offers a merit-based academic career path for tenure track faculty from Assistant Professor through a 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 ApplicationTUM 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 4th June, 2024 to the Dean of the TUM School of CIT, Prof. Dr. Hans-Joachim Bungartz, via our recruitment portal : www.recruit.tum.de