> Markdown version of [/jobs/ext/2825102-informatiker-in-mathematiker-in-sicherheitseigenschaften-von-systemen](https://www.wearedevelopers.com/jobs/ext/2825102-informatiker-in-mathematiker-in-sicherheitseigenschaften-von-systemen). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Informatiker/in, Mathematiker/in - Sicherheitseigenschaften von Systemen

- **Company:** Universitätsklinikum Carl Gustav Carus
- **Location:** Bremerhaven, Germany
- **Contract:** Permanent contract
- **Skills:** Cyber Security, Systems Development Life Cycle, Software Engineering, Information Technology, Formal Methods
- **Published:** September 10, 2026
- **Apply:** https://jobs.meinestadt.de/bremerhaven/standard?id=259945513

## About the Role

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.

## Description

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


## Related Videos

- [What makes Cybersecurity different for critical infrastructure?](https://www.wearedevelopers.com/videos/571-what-makes-cybersecurity-different-for-critical-infrastructure)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [The Avengers Initiative (Practical Ethics for Software Engineers)](https://www.wearedevelopers.com/videos/2070-the-avengers-initiative-practical-ethics-for-software-engineers)
- [Thinking Differently - How to Make Money from Cyber Attacks & Cheats](https://www.wearedevelopers.com/videos/745-thinking-differently-how-to-make-money-from-cyber-attacks-cheats)
- [Cyber Security: Small, and Large!](https://www.wearedevelopers.com/videos/259-cyber-security-small-and-large)
- [Official Opening of WeAreDevelopers World Congress 2026](https://www.wearedevelopers.com/videos/100000-official-opening-of-wearedevelopers-world-congress-2026)

## Related Articles

- [IT Salaries in Germany](https://www.wearedevelopers.com/magazine/287-it-salaries-in-germany)
- [System change: restart as developer?](https://www.wearedevelopers.com/magazine/39-system-change-restart-as-developer)
- [Finding IT & Technology English-speaking Jobs in Germany ](https://www.wearedevelopers.com/magazine/446-finding-it-technology-english-speaking-jobs-in-germany)
- [The Most Popular IT Jobs on the Market](https://www.wearedevelopers.com/magazine/376-the-most-popular-it-jobs-on-the-market)
- [IT Salaries in Austria](https://www.wearedevelopers.com/magazine/286-it-salaries-in-austria)
- [Average Salary in Germany](https://www.wearedevelopers.com/magazine/249-average-salary-in-germany)