Computer scientist, mathematician (f/m/x) - Security properties of systems

Deutsches Zentrum für Luft-und Raumfahrt e.V.; Bremerhaven; Vor Ort; EUR 40.000 - 60.000; Vollzeit

Zusammenfassung

A leading research institute in maritime security is seeking a candidate to develop innovative solutions for the resilience of maritime infrastructures. The role involves researching formal methods in IT security, collaborating with various stakeholders, and publishing results. Candidates should hold a university degree in relevant fields and have a strong interest in IT security and cryptography. Fluent German and English are required.

Qualifikationen

• Completed university degree in an information processing field.
• Knowledge of IT security and cryptography required.
• Basic knowledge in formal methods and system analysis needed.
• Ability to work mathematically and formally.
• Very good knowledge of written and spoken German and English.

Aufgaben

• Develop formal methods for modeling security properties of maritime systems.
• Conduct research on cryptography and cryptanalysis.
• Collaborate with internal and external groups.
• Publish research results in journals and conferences.

Kenntnisse

IT security

Cryptography

Formal methods

Programming

Collaboration

Ausbildung

University degree in information processing or relevant fields

Jobbeschreibung

At the Institute for the Protection of Maritime Infrastructures in Bremerhaven, we research and develop innovative solutions to strengthen the resilience of maritime infrastructures and make them adaptable, safe and sustainable. In close cooperation with partners from research, industry and other maritime security stakeholders, we combine technological innovation with practical expertise and offer you the opportunity to work on pioneering projects.

What To Expect

The protection of critical infrastructures is a basis for the prosperity and stability of states and societies. The “Situation Awareness and Cyber Security” group is therefore dedicated to the implementation of innovative security concepts, including the development and research of methods for improving and evaluating the cyber-physical security properties of maritime critical infrastructures.

Your Tasks

• Theoretical and practical development of formal methods for modeling and analyzing the security properties of systems as part of maritime infrastructures
• Cryptography and cryptanalysis
• Interdisciplinary collaboration with other groups (internal and external)
• Publication of research results in specialist journals and at national and international conferences
• If applicable, your own scientific qualification as part of a doctorate
  
  

Your profile

• Completed university degree (university diploma or master's degree) in an information processing field (e.g. computer science or IT security), natural sciences (e.g. mathematics) or other courses of study relevant to the position
• Knowledge of IT security and cryptography and an interest in the subject area
• Basic knowledge in at least one of the areas of design, analysis and/or modeling of security-critical systems or high-quality systems, formal methods in system design, system development or analysis, compiler construction, model transformation, graph transformation
• Ability and willingness to work mathematically and formally
• Knowledge of common programming paradigms and languages as well as software development methods
• Very good knowledge of written and spoken German and English
  
  

Remuneration is up to the German TVöD 13 depending on qualifications and assigned tasks

We look forward to getting to know you!

If you have any questions about this position (Vacancy-ID 1952) please contact:

Jannis Ulrich Stoppe

Tel.: [phone]

Aaron Lye

Tel.: [phone]