Informatiker/in, Mathematiker/in, Ingenieur/in IT-Sicherheit o.ä. (w/m/d)

Als Teil der Gruppe „Lagebild und Cybersecurity“ am Institut für den Schutz maritimer Infrastrukturen entwickeln Sie neuartige Technologien für den Entwurf und die Analyse sicherheitskritischer IT-/OT-Systeme. Dies umfasst insbesondere die Evaluation und Weiterentwicklung formaler Modellierungsmethoden. Ihr Fokus liegt dabei auf der Verknüpfung komplementärer Teilmodelle (bspw. Architektur-, Verhaltens- und Angreifermodelle) sowie auf der Minimierung der Komplexität der für eine Systemanalyse durchzuführenden Berechnungen (bspw. Model Checking). Sie kommunizieren Ihre Forschungsergebnisse durch das Verfassen wissenschaftlicher Literatur, die Teilnahme an internen wie externen Diskussionen, Workshops und Konferenzen sowie durch die Implementierung von Demonstratoren.

Das Institut für den Schutz maritimer Infrastrukturen bietet Ihnen die Gelegenheit sich in einem professionellen wissenschaftlichen Umfeld mit dem Stand der Forschung auseinanderzusetzen und selbst dazu beizutragen. Der fachliche Schwerpunkt liegt dabei auf den Gebieten „theoretische Informatik“ sowie „IT-Sicherheit“. Sofern Sie eine Promotion in einem dieser Felder anstreben, unterstützen wir Sie gerne dabei.

Die Stelle eignet sich sowohl für Berufseinsteigerinnen und Berufseinsteiger als auch für Personen mit Berufserfahrung, die ihre Arbeit in den genannten Gebieten vertiefen oder sich diese neu erschließen möchten.