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:

- Conducting research on post-quantum cryptography, with a specific focus on formal methods for security verification.
- Assisting in the development and implementation of cryptographic algorithms suitable for secure communication in challenging maritime environments.
- Collaborating closely with a team of experienced researchers from the German Aerospace Center and the University of Bremen.
- Utilizing formal verification techniques, such as formal proofs, model checking, or theorem proving, to analyze the security properties of cryptographic algorithms.
- Participating in experiments, simulations, and mathematical modeling to assess the effectiveness and resilience of proposed methods.
- Assisting in documenting research findings, preparing technical reports, and contributing to research papers for publication in conferences and journals.
- Actively participating in regular project meetings, workshops, and conferences.
- 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.

- Recently completed a Master's degree (or equivalent) in Computer Science, Electrical Engineering, Quantum Computing, Cryptography, or a related field.
- Experience in programming languages such as Python, C++, or similar.
- Excellent problem-solving and analytical skills, with a keen attention to detail.
- Effective communication and teamwork abilities.
- Academic background and a genuine interest in quantum computing, quantum algorithms, post-quantum cryptography, and formal methods.
- Familiarity with formal methods for security verification, such as formal proofs, model checking, or theorem proving
- Knowledge of cryptographic protocols, network security, and encryption algorithms

Look forward to a fulfilling job with an employer who appreciates your commitment and supports your personal and professional development. Our unique infrastructure offers you a working environment in which you have unparalleled scope to develop your creative ideas and accomplish your professional objectives. Our human resources policy places great value on a healthy family and work-life-balance as well as equal opportunities for persons of all genders (f/m/x).Individuals with disabilities will be given preferential consideration in the event their qualifications are equivalent to those of other candidates.

Apply

Academic Europe, the European career network for Academics, Researchers and Scientists

- Svärdvägen 21, 182 33 Danderyd
- info@academiceurope.com
- +46 70 550 7691 - +46 8 613 7691