[TYPES/announce] Tenure-Track Position in "Logic, Automata, and Games" at the Technical University of Munich

[Javier Esparza]

The Technical University of Munich (TUM) invites applications for the 
position of Tenure Track Assistant Professor in "Logic, Automata, and 
Game Theory in Computer Science" to begin as soon as possible. The 
position is a fixed-term (6 year, W2 salary scale) tenure-track 
professorship, with promotion after successful evaluation to a tenured 
professorship (W3 salary scale).

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

Responsibilities
****************
The 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.

Qualifications
***************
We 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 https://urldefense.com/v3/__http://www.tum.de/en/faculty-recruiting-faq/__;!!IBzWLUs!TnN0R4gtpfZjnwHotFEoOQ_XuwLOpiyTLpPtJxV0jeOINHqSkYVyu8uoL0S5zZQMX7szGVqCkncwTLKBx4UrDarm4rnSHzMJ$  for further 
information).

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 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 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 https://urldefense.com/v3/__http://www.tum.de/faculty-recruiting__;!!IBzWLUs!TnN0R4gtpfZjnwHotFEoOQ_XuwLOpiyTLpPtJxV0jeOINHqSkYVyu8uoL0S5zZQMX7szGVqCkncwTLKBx4UrDarm4vuHaG5Z$ . 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

****  June 4, 2024  ****

to the Dean of the TUM School of CIT, Prof. Dr. Hans-Joachim Bungartz, 
via our recruitment portal: https://urldefense.com/v3/__http://www.recruit.tum.de__;!!IBzWLUs!TnN0R4gtpfZjnwHotFEoOQ_XuwLOpiyTLpPtJxV0jeOINHqSkYVyu8uoL0S5zZQMX7szGVqCkncwTLKBx4UrDarm4hfS29HR$ 

Contact: recruitment at xcit.tum.de

-- 
Prof. Javier Esparza
Faculty of Computer Science
Technical University of Munich
Boltzmannstr. 3, 85748 Garching