Einleitungrexx systems ist ein führender Anbieter innovativer, webbasierter Software rund um die Themen Human Resources Management, e-Recruiting und Talent Management. Unsere webbasierten Lösungen werden von namhaften Kunden wie Merck, Europcar, ProSiebenSat1-Gruppe, Starbucks, Die Zeit, Vorwerk, Hermes Logistik, Gerry Weber, Böllhoff, Land Berlin uvm. national und international eingesetzt.
Ihre AufgabeAnstellung an der Technisch-Naturwissenschaftlichen Fakultät (Fachbereich Informatik) in 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.
Ihr ProfilAufgabe 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.
Unser Angebot
Flexible Arbeitszeit
Jahresarbeitszeitkonto
Attraktives Gehalt / Betriebliche Altersvorsorge (BAV)
Kindergartenzuschuss für Eltern
Teamspirit und tolle Arbeitsatmosphäre (Kicker, Grill, freie Getränke etc.)
Loggia mit Fleetblick, Kantine im Gebäude sowie zahlreiche, fußläufige Mittags-Locations
Wenn wir Ihr Interesse geweckt haben, dann bewerben Sie sich noch heute bei uns, indem Sie uns Ihre aussagekräftigen Bewerbungsunterlagen zuschicken.
#J-18808-Ljbffr