Informatiker/in, Mathematiker/in (w/m/d) - Sicherheitseigenschaften von Systemen - Ingenieur

Am Institut für den Schutz maritimer Infrastrukturen in Bremerhaven erforschen und entwickeln wir innovative Lösungen, um die Resilienz maritimer Infrastrukturen zu stärken und diese anpassungsfähig, sicher und nachhaltig zu gestalten. In enger Zusammenarbeit mit Partnern aus Forschung, Wirtschaft und weiteren Akteuren der maritimen Sicherheit verbinden wir technologische Innovation mit praxisnaher Expertise und bieten dir die Chance, an zukunftsweisenden Projekten mitzuarbeiten.

Das erwartet dich

Der Schutz kritischer Infrastrukturen ist eine Grundlage für die Prosperität und Stabilität von Staaten und Gesellschaften. So widmet sich die Gruppe „Lagebild und Cybersicherheit“ der Umsetzung von innovativen Sicherheitskonzepten, u.a. durch die Entwicklung und Erforschung von Methoden zur Verbesserung und Evaluierung der cyber-physikalischen Sicherheitseigenschaften maritimer, kritischer Infrastrukturen.

Deine Aufgaben

• theoretische und praktische Entwicklung bzw. Weiterentwicklung formaler Methoden für die Modellierung und Analyse der Sicherheitseigenschaften von Systemen als Teil maritimer Infrastrukturen
• Kryptographie und Kryptoanalyse
• interdisziplinäre Zusammenarbeit mit anderen Gruppen (intern sowie extern)
• Publikation der Forschungsergebnisse in Fachzeitschriften sowie auf nationalen und internationalen Konferenzen
• ggf. Ihre eigene wissenschaftliche Qualifikation im Rahmen einer Promotion

Das bringst du mit

• abgeschlossenes wissenschaftliches Hochschulstudium (Universitätsdiplom oder Master) in einem informationsverarbeitenden Bereich (z. B. Informatik oder IT-Sicherheit), der Naturwissenschaften (z. B. Mathematik) oder andere, für die Tätigkeit relevante Studiengänge
• Kenntnisse im Bereich IT-Sicherheit und Kryptographie sowie Interesse am Themenfeld
• Grundkenntnisse in mindestens einem der Bereiche Entwurf, Analyse und/oder Modellierung sicherheitskritischer Systeme bzw. von Systemen hoher Qualität, formale Methoden im Systementwurf, der Systementwicklung oder -analyse, Compilerbau, Modelltransformation, Graphtransformation
• Befähigung für und Bereitschaft zu einer mathematisch-formalen Arbeitsweise
• Kenntnisse gängiger Programmierparadigmen und -sprachen sowie Methoden der Software-Entwicklung
• sehr gute Kenntnisse der deutschen und englischen Sprache in Wort und Schrift

Die Vergütung erfolgt je nach Qualifikation und Aufgabenübertragung bis Entgeltgruppe E13 TVöD

Wir freuen uns darauf, dich kennenzulernen!

Fragen zu dieser Position (Kennziffer 1952) beantwortet dir gerne:

Jannis Ulrich Stoppe

Tel.: +49 471 924199 43