Informatiker/in, Mathematiker/in, Ingenieur/in IT-Sicherheit o.ä. (w/m/d) - Modellierung sicherheitskritischer IT-/OT-Systeme und zur Analyse ihrer Angriffssicherheit

Maritime Infrastrukturen, wie beispielsweise Schiffe, Häfen oder Offshore-Windparks, stellen komplexe Rechnernetze dar und umfassen sowohl Komponenten der Informationstechnologie (Workstations, Server, Geschäftsanwendungen) als auch operativer Technologien (Sensoren, Aktoren, eingebettete Systeme, ICS, Navigationssysteme). Auf Grund ihrer kritischen Funktionen sind diese Netze und ihre Komponenten effektiv gegen Angriffe zu schützen.

Am Institut für den Schutz maritimer Infrastrukturen werden sie Teil eines Teams mit den fachlichen Schwerpunkten IT-Sicherheit und theoretische Informatik. Ihre gemeinsame Aufgabe ist das Hinwirken auf eine langfristige Steigerung des Schutzniveaus kritischer Systeme durch die Erforschung wissenschaftlich fundierter formaler Methoden zur Entwicklung sicherer Systeme sowie zur Analyse der Sicherheitseigenschaften von Systemen. Der Entwurf, die Implementierung und der Betrieb sicherer Systeme erfordern detailliertes Wissen über ihre Komposition, ihre Funktion und ihren Zustand. Für die Erfassung und Verarbeitung dieses Wissens sind geeignete Konzepte zur Modellierung sowie zur Analyse von Sicherheitseigenschaften anhand formaler Methoden zu entwickeln. Hierbei ist insbesondere auch das Zusammenwirken verschiedener Modellierungen, beispielsweise von Hardware, Software und Geschäftsprozessen zu betrachten.

Die Tätigkeit umfasst sowohl mathematisch-formale Anteile als auch die Implementierung von Software zur Erprobung der entwickelten Konzepte. Folgende Aufgaben bilden dabei den Kern Ihrer Tätigkeit:

• Entwicklung mathematisch-formaler Konzepte zur Modellierung von Systemen, zur Unifikation und Transformation von Modellierungen sowie zur Analyse von Sicherheitseigenschaften bezüglich der Modelle anhand von wissenschaftlicher Literatur
• formaler Beweis der Korrektheit der Konzepte, nach Bedarf händisch oder rechnergestützt
• Diskussion und Weiterentwicklung der Konzepte im Team
• Verfassen wissenschaftlicher Texte und Präsentation wissenschaftlicher Vorträge, insbesondere auf Workshops und Konferenzen
• Implementierung von Software-Komponenten als Proof-of-Concept, insbesondere Einbindung in ein Modellierungsframework bestehend aus Parsern, Komponenten zur Modelltransformation sowie zur Eigenschaftsprüfung (bspw. SMT-Solver, Theorembeweiser)
• Analyse aktueller Entwicklungen im Bereich IT- und OT-Sicherheit maritimer Infrastrukturen sowie (Weiter-) Entwicklung eines langfristigen Konzepts zur Steigerung ihres Schutzniveaus als Grundlage für die wissenschaftliche Tätigkeit

Das Institut für den Schutz maritimer Infrastrukturen bietet Ihnen die Gelegenheit sich in einem professionellen wissenschaftlichen Umfeld mit dem Stand der Forschung in mehreren hochrelevanten Forschungsfeldern auseinanderzusetzen und selbst dazu beizutragen. Sollten Sie eine Promotion anstreben, unterstützen wir Sie gerne dabei.

Wir ermutigen insbesondere auch Berufseinsteigerinnen und Berufseinsteiger sich zu bewerben.