Website TU Wien - Institut für Logic and Computation, Forschungsbereich Formal Methods in Systems Engineering
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 befristet auf 6 Jahre) mit folgendem Aufgabengebiet zu besetzen.
Ihre Aufgaben:
Forschungstätigkeiten im Fachgebiet von Formale Methoden in Self-Adaptive Control Systems
Durchführung von Lehre und Mitarbeit bei Prüfungen in Formale Methoden, Logik und Automated Reasoning
Projektarbeit und Führung von Projektgruppen
Publikationstätigkeit
Teilnahme und Organisation von wissenschaftlichen Veranstaltungen
Betreuung von Studierenden
Mitarbeit bei Organisations- und Verwaltungsaufgaben sowie Evaluierungsmaßnahmen
Lehre in Deutsch und English ist erwartet
Ihr Profil:
Abschluss eines fachlich passenden Doktorates, mit Fokus an Self-Adaptive Control Systems
Kenntnisse wissenschaftlichen Arbeitens in Self-Adaptive Control Systems
Erfahrung in Projektmanagement und mit Präsentationen
Vertiefende Kenntnisse im Fachgebiet von Formale Methoden in Self-Adaptive Control Systems
Erfahrung in der Lehre und Publikationstätigkeiten
Organisatorische und analytische Fähigkeiten sowie eine strukturierte Arbeitsweise
Interesse und Freude an der Forschung und Arbeit mit Studierenden
Teamfähigkeit und Problemlösungskompetenz
Ausgezeichnete Sprachkenntnisse in Deutsch und Englisch
Wir freuen uns auf Ihre Bewerbung bis 13.11.2025 auf unserer Job-Plattform:
https://jobs.tuwien.ac.at/Job/259533
Um dich für diesen Job zu bewerben, besuche bitte jobs.tuwien.ac.at.