Computer Scientist or similar (w/m/d)
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.
More jobs from this employer