UniversitÀtsassistent*in mit Diplom/Master

Full-time  - 40 Wochenstunden
23.04.2025
Auf Basis einer VollzeitbeschĂ€ftigung (40 Wochenstunden) betrĂ€gt das monatliche Mindestgehalt € 3.714,80 brutto (14 x pro Jahr, KV-Einstufung B1)
at Johannes Kepler UniversitÀt Linz
Univ.-Prof. DI Dr. Bernhard Aichernig
bernhard.aichernig_1@jku.at / +43 732 2468 4541
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:

02.06.2025

 

Anzeigennummer:

34200-2025-001335

 

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 eine*n motivierte*n Dissertant*in in der Position eine*r UniversitĂ€tsassistent*in, der*die zur Forschung der Gruppe beitrĂ€gt und LehrtĂ€tigkeiten unterstĂŒtzt.

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

Mithilfe bei der Erledigung der allgemeinen Verwaltungsaufgaben am Institut

 

Ihr Profil:

 

Abgeschlossenes Diplom/Master-Studium in Informatik (oder einer Àhnlichen Disziplin)

Fundierte theoretische und praktische Kenntnisse im Bereich des Automatenlernens

Nachgewiesene Forschungserfahrung im Bereich der formalen Methoden ist wĂŒnschenswert

Fachkenntnisse in den Bereichen Modellierung, modellbasiertes Testen und deklarative Programmierung sind von Vorteil

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), 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

Ausgezeichnete Betreuung wÀhrend der Dissertation

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:

07.05.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_1@jku.at.

 

Einsatzadresse

Altenberger Straße 69, 4040 Linz