Universitätsassistent*in mit Diplom/Master

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 25.500 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 eine*n:

Universitätsassistent*in mit Diplom/Master im Beschäftigungsausmaß von 40 Wochenstunden (befristet auf 4 Jahre)

Organisationseinheit:

Institut für Formale Modelle und Verifikation

Eintrittsdatum:

01.09.2025

Anzeigennummer:

34200-2025-001341

Das Institut für Formale Modelle und Verifikation (FMV) an der JKU hat kürzlich einen neuen Professor für Formale Methoden berufen: Univ.-Prof. DI Dr. Bernhard Aichernig. Derzeit befinden wir uns im Aufbau der neuen Forschungsgruppe für Formale Methoden und Automatenlernen. Zur Unterstützung dieses Vorhabens suchen wir zwei motivierte Dissertant*innen in der Position von Universitätsassistent*innen, die zu Forschung und Lehre der Gruppe beitragen.

Ihre Aufgaben:

Selbstständige Forschungsarbeit im Bereich Formaler Methoden und Mitarbeit in Publikationsprojekten des Institutes

Aktive Mitarbeit in der Forschung des Institutes sowie Gestaltung und Abwicklung von Forschungsprojekten

Selbstständiges Unterrichten (oder Teilnahme beim Unterrichten) auf Universitätsebene (Übungen, Praktikum)

Mitbetreuung von Bachelor /Master /Diplomarbeiten

Verfassen einer Dissertation unter ausgezeichneter Betreuung des Instituts

Mithilfe bei der Erledigung der allgemeinen Verwaltungsaufgaben am Institut

Ihr Profil:

Abgeschlossenes Diplom/Master-Studium in Informatik (oder einer ähnlichen Disziplin) oder eine vergleichbare Qualifikation

Fundierte theoretische und praktische Kenntnisse im Bereich der Formalen Methoden

Fachkenntnisse in den Bereichen Formale Spezifikation, Modellierung, Refinement, Testfallgenerierung, Model Checking, Theorem Proving oder Run-Time Verification sind wünschenswert

Theoretische und praktische Kenntnisse im Bereich des Automatenlernens sind von Vorteil

Erfahrung mit folgenden (oder ähnlichen) formalen Methoden bzw. Werkzeugen sind ein Plus: TLA+, Event-B, Lean, Isabelle, Rocq, Spin, LTSmin, NuSMV, CBMC, Uppaal, Prism, Storm, LearnLib, AALpy

Erfahrung in der universitären Lehre oder Betreuung von Studierenden ist von Vorteil

Fähigkeit selbstständig Forschung durchzuführen

Englisch fließend in Wort und Schrift (Niveaustufe C1) ist erforderlich, Deutschkenntnisse sind von Vorteil

Kommunikationsfähigkeit / Organisationsfähigkeit / Bereitschaft zur Teamarbeit

Unser Angebot:

Auf Basis einer Vollzeitbeschäftigung (40 Wochenstunden) beträgt das monatliche Mindestgehalt € 3.714,80 brutto (14 x pro Jahr, KV-Einstufung B1)

Stabile Arbeitgeberin

Attraktiver Campus mit guter Verkehrsanbindung

Kontinuierliche, attraktive Bildungschancen

Moderne Forschungsinfrastruktur

Dynamisches Forschungsumfeld

Breites kulinarisches Angebot/Gesundes Essen (Bio Mensa)

Sport und Bewegung (USI)

u.v.m.

Bewerbungsfrist-Ende:

02.07.2025

Im Sinne des Frauenförderungsplans der JKU Linz werden Frauen besonders ermutigt, sich zu bewerben, diese werden bei gleicher Qualifikation vorrangig aufgenommen. Menschen mit Beeinträchtigung, welche zum "Kreis der begünstigt Behinderten" gehören, werden bei entsprechender Eignung besonders berücksichtigt.

Ansprechperson:

Nähere Auskünfte erteilt Univ.-Prof. DI Dr. Bernhard Aichernig, T +43 732 2468 4541, E-Mail: bernhard.aichernig@jku.at.

Einsatzadresse

Altenberger Straße 69, 4040 Linz