TU-ID: 104 | 2025 | 24 | 253796
Assistant Professorship (all genders) - Tenure Track
on Proof Theory
At the Institute of Discrete Mathematics and Geometry, in the Research Unit of Computational Logic, TU Wien is offering the following tenure-track position on Proof Theory for 40 hours/week. Expected start: July 2025.
The work contract is initially limited to six years. The candidate and TU Wien can agree upon a tenure evaluation, which when positive, opens the possibility to change the position to Associate Professor with an unlimited contract.
The tenure-track position is affiliated to the Institute of Discrete Mathematics and Geometry. Duties include research and teaching in the field of Mathematical Logic and related areas. The focus of research should be Proof Theory, in particular Ordinal Analysis, Reverse Mathematics and connections with Set Theory.
Tasks:
Research:
- Ordinal Analysis, generalizations, and applications.
- Reverse Mathematics and applications.
- Connections between Proof Theory and other branches of Mathematical Logic, such as Set Theory or Computability Theory.
- Interactions between Mathematical Logic and Computer Science.
Teaching:
- The successful candidate will teach in classes and exercise courses of the Bachelor and Master curricula of Technical Mathematics as well as in service courses for Computer Science. It is emphasized that currently the teaching in the Bachelor curriculum is in German language requiring appropriate language skills or the willingness to acquire them.
- Independent development of elective and cumpulsory courses in the field of Mathematical Logic.
- Supervision and co-supervision of student research projects for bachelor, master and PhD theses.
Adminsitration:
- General tasks in the administration of the research unit
- Participation in commissions and committees of the TU Wien.
- Management of an own research group.
- Acquisition of third-party funds through research projects.
Your profile:
- Doctoral degree in Mathematics or equivalent within the last 8 years.
- Proven expertise in proof theory. Outstanding achievements and potential in research, excellent publication record, international reputation
- Experience in academic teaching and supervising or co-supervising of academic theses
- Experience in designing and participating in research projects. Preference will be given to candidates having been awarded a START prize or equivalent.
- Willingness and ability to lead research groups and to acquire further third-party funding
- Experience in organisation of scientific conferences
- Scientific activity outside TU Wien, preferentially outside Austria
We offer:
- A wide variety and exciting range of tasks in a collegial team
- Hybrid working style with up to 60% home office option
- A range of attractive social benefits (see Fringe-Benefits)
- Wide range of internal and external training opportunities, various career options
- Central location of workplace as well as good accessibility (U1/U4 Karlsplatz)
People with special needs are equally encouraged to apply. In case of any questions, please contact the confidant for disabled persons at the university, Mr. Gerhard Neustätter.
The employment starts as University Assistant with a minimum salary of EUR 4,932.90 gross (14 x per year) according to the collective bargaining agreement for a PostDoc. After signing the qualification agreement, the employment continues as Assistant Professor with a minimum salary of EUR 5,808.20 gross (14 x per year).
We look forward to receiving your application until July 3rd, 2025.
