Die Welt ändert sich immer rascher. An der Johannes Kepler Universität Linz arbeiten wir täglich an den Technologien und Ideen von morgen. Und zugleich bereiten wir rund 23.000 junge Menschen auf die Anforderungen des modernen Arbeitsmarkts vor. Kurz: Wir sind Oberösterreichs größte Bildungs- und Forschungseinrichtung. Interesse, an Österreichs wohl schönster Campusuniversität die Zukunft mitzugestalten? Wir suchen zum ehestmöglichen Zeitpunkt eine/n:
Universitätsprofessor*in für Formal Methods (unbefristete Einstellung)
an der Technisch-Naturwissenschaftlichen Fakultät (Fachbereich Informatik) der Johannes Kepler Universität Linz, in Form von einem privatrechtlichen Angestelltenverhältnis. Die Anstellung erfolgt gemäß § 98 UG. Eine Evaluierung der Professur erfolgt nach 5 Jahren.
Die Stelle gehört zum Institut für Formale Modelle und Verifikation (FMV). Der*die erfolgreiche Bewerber*in wird als Nachfolger*in von Prof. Armin Biere die Leitung dieses Instituts innehaben.
Aufgabe der*des Stelleninhaber*in wird es sein, das Fachgebiet Formal Methods in Lehre und Forschung der Informatik zu vertreten und weiterzuentwickeln. Die detaillierten Anforderungen sind in einem Stellenprofil dokumentiert, das im Internet unter der Adresse http://www.jku.at/professuren abrufbar ist.
Voraussetzungen sind eine einschlägige Dissertation und Habilitation oder eine vergleichbare international anerkannte Qualifikation.
Es ist eine auf freiwilliger Basis beruhende Vereinbarung eines Gehalts vorgesehen, das über dem kollektivvertraglich vorgesehenen Mindestgehalt von derzeit € 74.503,80 brutto liegt.
Für eventuelle Fragen steht Frau Univ.-Prof.in Dr.in Martina Seidl, T +43 732 2468 5750, E-Mail: martina.seidl@jku.at gerne zur Verfügung.
Die Johannes Kepler Universität strebt eine Erhöhung des Anteils an Frauen im wissenschaftlichen Personal an und fordert deshalb qualifizierte Frauen nachdrücklich auf, sich zu bewerben. Bei gleicher Qualifikation wird bevorzugt eine Frau berufen. Begünstigt behinderte Bewerber*innen werden bei entsprechender Eignung besonders berücksichtigt.
Interessent*innen werden gebeten, ihre Bewerbung unter Beachtung der im Stellenprofil angegebenen Kriterien samt den dort verlangten Anlagen (z.B. Lebenslauf) in elektronischer Form bis zum 01.12.2021 unter bewerbung@jku.at an den Rektor der Johannes Kepler Universität Linz zu übersenden. Falls die Übersendung von Anlagen in elektronischer Form nicht möglich ist, sind diese in fünffacher Ausfertigung derart zu übersenden, dass sie längstens innerhalb einer Nachfrist von einer Woche nach Ende der Bewerbungsfrist beim Rektor einlangen.