German Association of Women Engineers - dib, deutscher ingenieurinnenbund
Universitätsassistent:in (Prae-Doc)
German Association of Women Engineers - dib, deutscher ingenieurinnenbundAustria14 days ago
Full-timeAdministrative
  • Teilzeit
  • Wien
  • Veröffentlicht am 10. September 2025
  • EUR 2.786,10 brutto/Monat (14x jährlich) bei einem wöchentlichen Beschäftigungsausmaß von 30 Stunden. Tätigkeitsbezogene Vordienstzeiten können angerechnet werden. EUR / Jahr

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 (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 freuen uns auf Ihre Bewerbung bis 25.9.2025 auf unserer Job-Plattform:

https://jobs.tuwien.ac.at/Job/256472

Um dich für diesen Job zu bewerben, besuche bitte jobs.tuwien.ac.at.

Key Skills

Ranked by relevance