Das erwartet Dich bei uns

Die Leistungsfähigkeit und Vernetzung eingebetteter Computer treibt maßgeblich die Realisierbarkeit neuer Anwendungen wie das Autonome Fahren oder Industrie 4.0. Trends wie das Internet der Dinge (IoT), Edge-AI-Systeme oder Cyber-physical Systems (CPS) sind nur durch die Verfügbarkeit ressourcenbeschränkter, eingebetteter Systeme möglich. Unsere Abteilung forscht an Architekturen und Entwurfsmethoden für software-intensive sichere eingebettete Systeme in spannenden Forschungsprojekten in den Domänen Automotive und Industrieautomatisierung.

Du arbeitest in nationalen und internationalen Forschungsprojekten und erforschst Methoden zum Entwurf von eingebetteten Softwaresystemen. Wir bieten ein breites Aufgabenspektrum. Um einen Eindruck zu erhalten zeigen wir Dir einige beispielhafte, offene Aufgaben:

• Du erweiterst zielgerichtet bestehende Modellierungskonzepte zum Entwurf von sicherer, eingebetteter Software.
• Du erforschst Methoden zur Verifikation von eingebetteter Software, insbesondere bzgl. ihres Laufzeitverhaltens (Timing).
• Du entwickelst Werkzeuge zur Härtung von eingebetteter Software, gegen Seitenkanäle zur Steigerung der Informationssicherheit (Information Security).
• Du präsentierst Forschungsergebnisse im Rahmen von Publikationen und Vorträgen auf nationaler und internationaler Ebene.

Das bringst Du mit

• Du hast ein abgeschlossenes Masterstudium in der Fachrichtung Informatik, Elektrotechnik, Mathematik oder einem verwandten Studiengang.
• Du hast Interesse an der Entwicklung hardwarenaher Software mit Fokus auf Security.
• Du besitzt Kenntnisse über statischen oder dynamischen Daten- und Kontrollflussanalysen, bspw. mittels Taint-Analysen.
• Du besitzt Interesse an der Erweiterung von Compilern und formalen Modellen.
• Du hast bestenfalls Grundkenntnisse im Umgang mit LLVM oder CompCert. 
• Du besitzt gute Deutsch- und Englischkenntnisse in Wort und Schrift.

Was wir Dir bieten

• Unser Miteinander ist geprägt von der Begeisterung für unsere Themen und gemeinsamen Werte. Wir sind alle per „Du“ und helfen uns gegenseitig.
• Mit gelebter Vertrauensarbeitszeit, flexiblen Arbeitsformen sowie bei Vollzeitbeschäftigung 30 Urlaubstagen im Jahr geben wir Dir die Freiheit, die Du benötigst, um Dein Privat- und Berufsleben zu vereinbaren.
• Sofern die fachlichen und persönlichen Voraussetzungen erfüllt sind, bieten wir Dir ein Entgelt entsprechend TV-L EG 13.
• Deine Weiterentwicklung steht bei uns im Mittelpunkt: Am FZI hat jedes Teammitglied ein festes Weiterbildungsbudget und regelmäßige Feedbackgespräche. Zudem gibt es zahlreiche Unterstützungsangebote – auch in den Bereichen Freizeit und Gesundheit.
• Zum Thema Entwurf eingebetteter Softwaresysteme betreut unser Direktor Prof. Dr. Oliver Bringmann derzeit eine Reihe von Promotionsvorhaben. Wir bieten Dir professionelle Rahmenbedingungen in einem exzellentem Forschungs- und Anwendungsumfeld. Sprich uns im Rahmen Deiner Bewerbung darauf an, falls Du an einer Promotion ebenfalls Interesse hast.
• Außerdem bieten wir Dir viele Möglichkeiten zur Mitgestaltung des FZI und ein starkes Netzwerk in Wissenschaft und Wirtschaft.