TU-ID: 192 | 2025 | 44 | 259532
University Assistant Post-Doc (all genders)
40 hours/week | limited to 6 years
TU Wien is Austria's largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists, research, teaching, and learning dedicated to the advancement of science and technology have been conducted here for more than 200 years, guided by the motto "Technology for People". As a driver of innovation, TU Wien fosters close collaboration with business and industry and contributes to the prosperity of society.
At the Institute of Logic and Computation, in the Research Unit of Formal Methods in Systems Engineering TU Wien is offering a position as university assistant (post-doc) limited to expected 6 years for 40 hours/week. Expected start: January 2026.
Tasks:
- Research activities in the field of automated reasoning, particularly in first-order theorem proving and the Vampire prover
- Teaching and participation in examinations in automated deduction and automated reasoning
- Project work and leadership of project groups in automated reasoning
- Scientific publication in automated reasoning
- Participation in and organization of scientific events
- Student supervision
- Participation in organizational and administrative tasks related to automated reasoning
Your profile:
- Completion of an appropriate doctorate and in-depth knowledge of the subject area, in particular in the area of automated reasoning
- Experience in national and international research cooperation as well as in project management and presentations in first-order theorem proving
- Scientific expertise in first-order theorem proving
- Experience in teaching and publication activities as well as interest and pleasure in research and work/support with students
- Organizational and analytical skills as well as a structured way of working
- Excellent command of the English language and very good communicative skills and team competences
We offer:
- A wide variety and exciting range of tasks in a collegial team
- Flexibility in working hours
- 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/U2/U4 Karlsplatz)
TU Wien is committed to increasing the proportion of women in particular in leadership positions. Female applicants are explicitly encouraged to apply. Preference will be given to women when equally qualified, unless reasons specific to a male applicant tilt the balance in his favour.
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.
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.
Entry level salary is determined by the pay grade B1 of the Austrian collective agreement for university staff. This is a minimum of currently EUR 4,932.90/month gross, 14 times/year for 40 hours/week. Relevant working experiences may increase the monthly income.
We look forward to receiving your application until November 13th, 2025.
