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

German Aerospace Center (DLR) Bremerhaven

Stellenbeschreibung:

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

Join to apply for the Informatiker/in, Mathematiker/in (w/m/d) - Sicherheitseigenschaften von Systemen role at German Aerospace Center (DLR) .

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. 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!