Informatiker/in, Mathematiker/in - Sicherheitseigenschaften von Systemen

IT-Security Kryptographie Top

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

• 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, Informatik Informationstechnik Mathematik Naturwissenschaften Wirtschaftsinformatik Abschluss Master/Diplom Auszeichnungen