Universitätsassistent:in - Postdoc Chiffre MIP-15908 Beginn/Dauer: ab 01.09.2026 bis 30.09.2029 Organisationseinheit: Informatik, Standort Innsbruck Beschäftigungsausmaß: 40 Stunden/Woche Ihre Aufgaben: Selbständige Forschung im Bereich der Computationalen Logik insbesondere im Bereich Termersetzung Lehre Betreuung von Studierenden Organisations- und Verwaltungsaufgaben Ihr Profil: Einschlägiges abgeschlossenes Doktorats- oder PhD-Studium in Informatik Exzellente Kenntnisse im Bereich Termerset…