Universitätsassistent_in (Prae-Doc)

Technische Universität Wien; Wien; Vor Ort; EUR 29.000 - 36.000; Teilzeit

Benefits dieser Stelle

Sozialleistungen

Zentrale Lage Karlsplatz

Zusammenfassung

Die Technische Universität Wien sucht am Institut für Logic and Computation eine Universitätsassistent_in (Prae-Doc) ab Oktober 2026 für 30 Wochenstunden, befristet bis ca. 30.09.2028.

Sie arbeiten in Automated Reasoning mit Vampire Prover, betreuen Studierende und vertiefen Ihre Forschung. Sie schreiben eine Dissertation, publizieren in relevanten Fachzeitschriften und arbeiten an Organisationstätigkeiten mit.

Qualifikationen

• Abgeschlossenes Master- oder Diplomstudium in Informatik mit Schwerpunkt Automated Reasoning.
• Forschungserfahrung im Bereich Automated Reasoning von Vorteil.
• Ausgeprägte Fähigkeiten in Lehre und Betreuung von Studierenden.

Aufgaben

• Mitarbeit an Forschungs- und Lehraufgaben in Automated Reasoning mit Vampire Prover und Prüfungen.
• Betreuung von Studierenden.
• Forschungs- und Projekttätigkeit in Automated Reasoning.
• Verfassen einer Dissertation und von Publikationen.
• Lehre in deutscher und englischer Sprache.

Kenntnisse

Automated Reasoning

Dissertation planning

Lehre

Ausbildung

Master- oder Diplomstudium in Informatik mit Schwerpunkt Automated Reasoning

Tools

Vampire Prover

Jobbeschreibung

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
• 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
• 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 dieBehindertenvertrauensperson der TU Wien, Herrn Gerhard Neustätter([e-mail]).

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.

Bei Fragen wenden Sie sich gerne an:

Carmen Keck | T: [phone]
Informationen für Bewerber_innen finden Sie auch in unserem Karriereportal .

Technik für Menschen

Die Bewerber_innen haben keinen Anspruch auf Abgeltung angefallener Reise-und Aufenthaltskosten, die aus Anlass des Aufnahmeverfahrens entstanden sind.