TU-ID: 192 | 2025 | 44 | 259532
Universitätsassistent_in (Post-Doc)
40 Wochenstunden | befristet auf 6 Jahre
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 (Post-Doc), voraussichtlich ab Januar 2026 (40 Wochenstunden, voraussichtlich beristet auf 6 Jahre) mit folgendem Aufgabengebiet zu besetzen.
Ihre Aufgaben:
- Forschungstätigkeiten im Fachgebiet von Automated Reasoning, insbesondere in First-Order Theorem und Proving und der Vampire Beweissystem
- Durchführung von Lehre und Mitarbeit bei Prüfungen in Automated Deduction und Automated Reasoning
- Projektarbeit und Führung von Projektgruppen in Automated Reasoning
- Publikationstätigkeit in Automated Reasoning
- Teilnahme und Organisation von wissenschaftlichen Veranstaltungen
- Betreuung von Studierenden
- Mitarbeit bei Organisations- und Verwaltungsaufgaben sowie Evaluierungsmaßnahmen
Ihr Profil:
- Abschluss eines fachlich passenden Doktorates, insbesondere in Automated Reasoning
- Kenntnisse wissenschaftlichen Arbeitens in First-Order Theorem Proving
- Erfahrung in Projektmanagement und wissenschaftliche Präsentationen
- Vertiefende Kenntnisse im Automated Reasoning
- Erfahrung in der Lehre und Publikationstätigkeiten in Automated Reasoning
- Organisatorische und analytische Fähigkeiten sowie eine strukturierte Arbeitsweise
- Interesse und Freude an der Forschung und Arbeit mit Studierenden
- Ausgezeichnete Englischkenntnisse sowie sehr gute Kommunikations- und Teamfähigkeiten
Wir bieten:
- Vielfältiges und spannendes Aufgabengebiet in einem kollegialen Team
- Flexibilität in der Arbeitszeitgestaltung
- Eine Reihe attraktiver Sozialleistungen (siehe Fringe 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.
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.
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 40 Stunden derzeit EUR 4.932,90 brutto/Monat (14x jährlich). Tätigkeitsbezogene Vordienstzeiten können angerechnet werden.
Wir freuen uns auf Ihre Bewerbung bis 13.11.2025.
