Informatiker/in, Mathematiker/in - Sicherheitseigenschaften von Systemen

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., * 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. deine eigene wissenschaftliche Qualifikation im Rahmen einer Promotion

Hochschultätigkeiten

Gewünschte Fähigkeiten & Kenntnisse

Infrastruktur IT-Sicherheit Wirtschaft Analyse TVöD Informatik Forschung Englisch Naturwissenschaft Sicherheit Belastbarkeit, * 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 3688) beantwortet dir gerne: Jannis Ulrich Stoppe

Steige ein in die faszinierende Welt des Deutschen Zentrums für Luft- und Raumfahrt e. V. (DLR), um mit Forschung und Innovation die Zukunft mitzugestalten! Mit dem Know-how und der Neugier unserer 11.000 Mitarbeitenden aus 100 Nationen sowie unserer einzigartigen Infrastruktur bieten wir ein spannendes und inspirierendes Arbeitsumfeld. Gemeinsam entwickeln wir nachhaltige Technologien und tragen so zur Lösung globaler Herausforderungen bei. Möchtest du diese große Zukunftsaufgabe mit uns zusammen angehen? Dann ist dein Platz bei uns!