Website TU Wien - Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
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 look forward to receiving your application until November 13, 2025 on our job platform:
https://jobs.tuwien.ac.at/Job/259532
Um dich für diesen Job zu bewerben, besuche bitte jobs.tuwien.ac.at.