Job Opportunity: PhD position at TU Wien

17 views

Skip to first unread message

Vienna Center for Logic and Algorithms

unread,

Sep 15, 2025, 4:35:49 PM (8 days ago) Sep 15

to Women in Machine Learning

This job offer is in German, as German skills are required for teaching! Female applicants are strongly encouraged to apply!

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 2025 (30 Wochenstunden, befristet auf voraussichtlich 4 Jahre) mit folgendem Aufgabengebiet zu besetzen.

Ihre Aufgaben:

Mitarbeit an Forschungs- und Lehraufgaben in Automated Reasoning 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
Kenntnisse wissenschaftlichen Arbeitens
Vertiefende Kenntnisse im im Automated Reasoning, Blockchain Security, und Game-Theory
Ausgezeichnete Deutschkenntnisse
Ausgezeichnete Englischkenntnisse
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 Fringe Benefits)
Breites internes und externes Weiterbildungsangebot, verschiedene Karriereoptionen
Zentrale Lage sowie gute Erreichbarkeit (U1/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.

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.786,10 brutto/Monat (14x jährlich). Tätigkeitsbezogene Vordienstzeiten können angerechnet werden.

Wir freuen uns auf Ihre Bewerbung bis 25.09.2025.