Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science
Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science
05.04., Professuren
Scientific environment
The professorship will be assigned to the TUM Schoolof Computation, Information and Technology (CIT).
Responsibilities
The responsibilities include research and teaching aswell as the promotion of early-career scientists. Weseek to appoint an expert in the research area of Logic, Automata, and Games withapplications to Formal Verification, Automatic Synthesis, Automated Reasoning orLearning.
Teaching responsibilities include Basic courses in theProfessional Profile Informatics , in particular Theoretical Computer Science,at Bachelor’s and Master’s level.
Qualifications
We are looking for candidates who have demonstratedinitial scientific achievements and the capacity for independent research atthe highest international level.
A university degree and an outstandingdoctoral degree or equivalent scientific qualification, as well as pedagogicalaptitude, are prerequisites.
Substantial research experience abroad is expected(please see style "font-size : 10.0pt;font-family : "TUM Neue Helvetica 55 Regular",sans-serif;
mso-ansi-language : EN-US" lang "EN-US">
for further information).
Our Offer
Based on the best international standards andtransparent performance criteria, TUM offers a merit-based academic careerpath for tenure track faculty from Assistant Professor through a permanentposition as Associate Professor to Full Professor.
The regulations of the TUM Faculty Recruitment and Career System apply.
TUM provides excellent working conditions in a livelyscientific community, embedded in the vibrant research environment of theGreater Munich Area.
The TUM environment is multicultural, with English servingas a common interface for scientific interaction.TUM offers attractive and performance-based salary conditions andsocial benefits.
The TUM Munich Dual Career Office (MDCO) providestailored career consulting to the partners of newly appointed professors.
The MDCOassists the relocation and integration of new professors, their partners andaccompanying family members.