Einleitung
rexx 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 Aufgabe
Anstellung 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 Profil
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.
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