Informatiker/in, Mathematiker/in, Ingenieur/in IT-Sicherheit o.ä. (w/m/d) - Formale Methoden in der IT-/OT-Sicherheit

Location

Bremerhaven | Germany

Job description

Bookmark

Wissenschaftliche Tätigkeit / Projektarbeit

Formale Methoden in der IT-/OT-Sicherheit

Schutz maritimer Infrastrukturen

Beginn

ab sofort

Dauer

Zunächst für drei Jahre befristet

Vergütung

bis Entgeltgruppe 13 TVöD

Beschäftigungsgrad

Vollzeit (Teilzeit möglich)

Als Teil der Gruppe „Lagebild und Cybersecurity“ am Institut für den Schutz maritimer Infrastrukturen entwickeln Sie neuartige Technologien für den Entwurf und die Analyse sicherheitskritischer IT-/OT-Systeme. Dies umfasst insbesondere die Evaluation und Weiterentwicklung formaler Modellierungsmethoden. Ihr Fokus liegt dabei auf der Verknüpfung komplementärer Teilmodelle (bspw. Architektur-, Verhaltens- und Angreifermodelle) sowie auf der Minimierung der Komplexität der für eine Systemanalyse durchzuführenden Berechnungen (bspw. Model Checking). Sie kommunizieren Ihre Forschungsergebnisse durch das Verfassen wissenschaftlicher Literatur, die Teilnahme an internen wie externen Diskussionen, Workshops und Konferenzen sowie durch die Implementierung von Demonstratoren.

Das Institut für den Schutz maritimer Infrastrukturen bietet Ihnen die Gelegenheit ,sich in einem professionellen wissenschaftlichen Umfeld mit dem Stand der Forschung auseinanderzusetzen und selbst dazu beizutragen. Der fachliche Schwerpunkt liegt dabei auf den Gebieten „theoretische Informatik“ sowie „IT-Sicherheit“. Sofern Sie eine Promotion in einem dieser Felder anstreben, unterstützen wir Sie gerne dabei.

Die Stelle eignet sich sowohl für Berufseinsteigerinnen und Berufseinsteiger als auch für Personen mit Berufserfahrung, die ihre Arbeit in den genannten Gebieten vertiefen oder sich diese neu erschließen möchten.

• Sie verfügen über ein abgeschlossenes wissenschaftliches Hochschulstudium (Universitätsdiplom oder Master) in Informatik, Mathematik, IT-Sicherheit oder einem anderen, für die Tätigkeit relevanten Studiengang.
• Sie bringen sehr gute Kenntnisse in mindestens einem der Felder „theoretische Informatik“ oder „IT-Sicherheit“ sowie die Befähigung und Bereitschaft sich fehlende Kenntnisse anzueignen mit.
• Sie besitzen die Befähigung zu einer mathematisch-formalen Arbeitsweise.
• Sie verfügen über gute Kenntnisse gängiger Programmierparadigmen und -sprachen sowie Methoden der Software-Entwicklung.
• Sie haben sehr gute Kenntnisse der deutschen und englischen Sprache in Wort und Schrift.

Freuen Sie sich auf einen Arbeitgeber, der Ihr Engagement zu schätzen weiß und Ihre Entwicklung durch vielfältige Qualifizierungs- und Weiterbildungsmöglichkeiten fördert. Unser einzigartiges Arbeitsumfeld bietet Ihnen Gestaltungsfreiräume und eine unvergleichbare Infrastruktur, in der Sie Ihre Mission verwirklichen können. Vereinbarkeit von Privatleben, Familie und Beruf sowie Chancengleichheit von Personen aller Geschlechter (w/m/d) sind wichtiger Bestandteil unserer Personalpolitik. Bewerbungen schwerbehinderter Menschen bevorzugen wir bei fachlicher Eignung.

Job tags

Salary