The German Aerospace Center (DLR) and the Univeristy of Bremen are seeking a highly motivated and talented individual to join a collaborative research project as a Quantum Computing Researcher. This exciting opportunity is specifically designed for recent graduates who have completed their Master's degree and are eager to embark on a research career in the field of quantum computing, cryptography, and formal methods. The position offers a unique pathway to contribute to cutting-edge research while working towards a Ph.D. degree.

As a Quantum Computing Researcher, you will be part of a dynamic research project focused on the development, verification, and application of post-quantum cryptography for maritime security agencies (BOS). The project aims to explore the potential of quantum computing and post-quantum cryptographic methods to enhance the communication and security capabilities of maritime BOS. Your role will involve working closely with a team of experienced researchers from the German Aerospace Center and the University of Bremen to evaluate, verify, and formally prove the security properties of quantum-resistant cryptographic algorithms. You will contribute to the design and implementation of cryptographic algorithms for secure communication in challenging maritime environments, utilizing formal verification techniques to analyze their security.

As a Quantum Computing Researcher, your responsibilities will include:

1. Conducting research on post-quantum cryptography, with a specific focus on formal methods for security verification.
2. Assisting in the development and implementation of cryptographic algorithms suitable for secure communication in challenging maritime environments.
3. Collaborating closely with a team of experienced researchers from the German Aerospace Center and the University of Bremen.
4. Utilizing formal verification techniques, such as formal proofs, model checking, or theorem proving, to analyze the security properties of cryptographic algorithms.
5. Participating in experiments, simulations, and mathematical modeling to assess the effectiveness and resilience of proposed methods.
6. Assisting in documenting research findings, preparing technical reports, and contributing to research papers for publication in conferences and journals.
7. Actively participating in regular project meetings, workshops, and conferences.
8. Enrolling in a Ph.D. program under the joint supervision of DLR and the University of Bremen, with the opportunity to pursue a Ph.D. degree.