R&D Cryptography Engineer

Cryspen is looking for a cryptography researcher and engineer to build and prove high-assurance cryptographic software.

You will work with and on tools such as hacspec, F*, and easycrypt to describe cryptographic systems and prove their security properties. The work will be part of a larger project to design a data custodian system with modern cryptography such as multi-party computation. You will be involved in all phases of the project, from analyzing the use cases, over defining the functionality and security properties of the system, to specifying and proving its security.

Writing and reasoning about cryptography is a delicate task that requires attention to detail and the utmost care. As an ideal candidate, you are therefore able to handle highly sensitive and highly detailed tasks.

If you have experience with open-source projects, that s great but not necessary. We expect that you understand the basics of all involved technologies and concepts. However, we especially invite you to apply if you are an early career professional.

Tasks

• Extend hacspec to handle new protocols we want to implement
• Design and formally specify cryptographic protocols
• Perform mechanized proofs on the protocols
• Implement and improve cryptographic primitives

Requirements

• Basic knowledge of Rust
• Experience with proving cryptographic protocols
• Strong interest in mechanized proofs

Benefits

• Room to grow personally and professionally
• Shape your role
• Flexible working hours
• Family-friendly work environment
• Working remotely from anywhere in Germany
• Part-time or Full-time

Application Process

We will try to get back to you as soon as possible after sending in your application (not before 2023 though). After the first screening call, there will be three interviews (video calls) covering technical aspects as well as making sure we are aligned on the core values.