Universitätsassistent_in (Prae-Doc)
TU Wien
- Institution
- TU Wien
- Application deadline
- 3 September 2026
- Location
- Wien, AT
- Funding
- Fully funded position
Want to be the strongest applicant for this position?
Book a free 15-minute call with our team. We will look at your profile against what TU Wien is actually looking for, and tell you honestly where you stand and what to strengthen before you apply.
Book a free call about this position →No cost, no obligation. Mentors who have secured funded PhD positions themselves.
We mentor STEM applicants only. If your research aspirations are outside STEM subjects, you're very welcome to use this board and apply directly; we just aren't the right people to mentor you.
About this position
30 Wochenstunden | Karenzvertretung
Die Technische Universität Wien ist Österreichs größte Forschungs- und Bildungseinrichtung im technisch-naturwissenschaftlichen Bereich und leistet seit mehr als 200 Jahren einen unverzichtbaren Beitrag zur Sicherung der internationalen Wettbewerbsfähigkeit und Innovationskraft des Forschungsstandorts Österreich. Unter dem Motto „Technik für Menschen“ betreiben an der TU Wien rund 26.000 Studierende und mehr als 4.000 Wissenschaftler_innen in diesem Sinne Forschung, Lehre und Innovation.
Am Institut für Logic and Computation, im Forschungsbereich Formal Methods in Systems Engineering ist eine Stelle als Universitätsassistent_in (Prae-Doc), voraussichtlich ab Oktober 2026 (30 Wochenstunden, befristet bis voraussichtlich 30.09.2028 bzw. auf die Dauer der Karenzvertretung) mit folgendem Aufgabengebiet zu besetzen.
Ihre Aufgaben:
- Mitarbeit an Forschungs- und Lehraufgaben in Automated Reasoning mit dem Vampire Prover sowie Prüfungen
- Betreuung von Studierenden
- Forschungs- und Projekttätigkeit in Automated Reasoning
- Vertiefen der wissenschaftlichen Kenntnisse
- Verfassen einer Dissertation und von Publikationen
- Teilnahme an wissenschaftlichen Veranstaltungen
- Mitarbeit bei Organisations- und Verwaltungsaufgaben
Ihr Profil:
- Abschluss eines fachlich passenden Master- oder Diplomstudiums in Informatik mit Schwerpunkt Automated Reasoning und/oder Multi-Agent Workflow for Code Generation
- Expertise mit dem Vampire Prover
- Kenntnisse wissenschaftlichen Arbeitens
- Vertiefende Kenntnisse im Automated Reasoning, Software Engineering, Interpolation-Based Code Synthesis, Deductive Code Synthesis und Graph Data Bases
- Ausgezeichnete Deutsch- sowie Englischkenntnisse (mind. C1)
- Lehre in deutscher und englischer Sprache wird erwartet
- Interesse an der Forschung im Fachgebiet und an der Arbeit mit Studierenden
- Teamfähigkeit, Problemlösungskompetenz sowie Innovationsfähigkeit
Wir bieten:
- Vielfältiges und spannendes Aufgabengebiet in einem kollegialen Team
- Flexibilität in der Arbeitszeitgestaltung
- Eine Reihe attraktiver Sozialleistungen (siehe Benefits)
- Breites internes und externes Weiterbildungsangebot, verschiedene Karriereoptionen
- Zentrale Lage sowie gute Erreichbarkeit (U1/U2/U4 Karlsplatz)
Die TU Wien strebt eine Erhöhung des Frauenanteils insbesondere in Leitungsfunktionen an und fordert daher qualifizierte Frauen ausdrücklich zur Bewerbung auf. Bei gleicher Qualifikation werden Frauen vorrangig aufgenommen, sofern nicht in der Person eines gleich qualifizierten Mitbewerbers liegende Gründe überwiegen.
Wir sind bemüht, Menschen mit Behinderung mit entsprechender Qualifikation einzustellen und fordern daher ausdrücklich zur Bewerbung auf. Bei Rückfragen wenden Sie sich bitte an die Behindertenvertrauensperson der TU Wien, Herrn Gerhard Neustätter (gerhard.neustaetter@tuwien.ac.at).
Die Entlohnung erfolgt nach dem Mindestentgelt der Gehaltsgruppe B1 gemäß dem Kollektivvertrag für Arbeitnehmer_innen der Universitäten und beträgt bei einem wöchentlichen Beschäftigungsausmaß von 30 Stunden derzeit EUR 2.832,10 brutto/Monat (14x jährlich). Tätigkeitsbezogene Vordienstzeiten können angerechnet werden.
Wir freuen uns auf Ihre Bewerbung bis 03.09.2026.
Apply directly to TU Wien
Emerging Scholars Council is not the employer and does not recruit for this position. It is advertised by TU Wien, and your application goes to them. We help students prepare and strengthen their applications.
Go to the official application page →Applications close 3 September 2026.
Contact listed in the advert
Some positions — especially in Germany, Austria and Switzerland — are filled by writing directly to the supervisor rather than through an online form. These addresses were taken from the advert text, so check them against the official listing before you write.
A cold email to a supervisor is the highest-leverage thing you can send — and the easiest to get wrong. Ask us to look at yours before you hit send.