Cryspen is on a mission to build high-assurance software and formal verification tools that make the world a safer place. We're looking for passionate Proof Engineers to join our collaborative team and help us achieve that goal.

Are you proficient in Coq or F* or Lean or HOL? Have you built or maintained large proof artifacts? Do you have experience in improving proof automation or developing verification tools? Are you eager to apply formal verification to real-world software?

If your answer is yes, apply and tell us more about your experience and your interests.

• Shape the Future of Security: You'll develop and maintain correctness and security proofs for formally verified software solutions, primarily in Rust, and help improve a state-of-the-art software verification toolchain.
• Work with the Best: Collaborate closely with reputed research scientists and experienced engineers to develop proofs for cutting-edge applications.
• Make a Difference: You'll play a key role in the entire development process, from design and development to verification and testing.
• Open Source Enthusiast? Cryspen embraces open source and actively contributes to the community. Prior open-source experience is valued, but not required.

Tasks

• Develop machine-checked proofs for software written by Cryspen and by others, using a variety of verification tools, including F*, Lean, and ProVerif.
• Build new proof automation and targeted verification tools to help improve the experience and effectiveness of writing and maintaining software with proofs.
• Participate in the high-assurance software development process and help software engineers write verification-ready code annotated with formal specifications.
• Contribute to code reviews, debugging, and troubleshooting efforts.
• Maintain existing proofs for high-assurance cryptographic software.

Requirements

• Proficiency in proof assistants, such as Coq, Lean, F*, or HOL.
• Knowledge of OCaml and compiler internals is a plus.
• Knowledge of other tools, such as model checkers or protocol analyzers is a plus, but not required.
• Familiarity with software development best practices, including version control, code reviews, and testing.
• Excellent communication and collaboration skills.
• Strong problem-solving and analytical skills.

Benefits

• Room to grow personally and professionally
• 4 day work week
• Flexible working hours
• Family-friendly work environment
• Working remotely
• Part-time or Full-time

Application Process

Do consider writing a letter in addition to your CV to emphasize the verification projects you have done and why you would like to work for us.

We will try to get back to you as soon as possible after sending in your application. 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.