Verification Jobs @ Cryspen (France/Germany)

Cryspen is a small research-oriented company that seeks to apply formal verification tools to build high-assurance production-ready cryptographic software. We have a few open roles at Cryspen right now in Germany and in France.

In particular, we are looking to hire a Software Verification Engineer who will focus on implementing and verifying high-assurance software, which includes writing and maintaining proofs for the code. This position requires expertise in verification frameworks like Coq, Lean, Isabelle, F*, etc. and the willingness to apply them to production software.

To apply: Cryspen (Paris): Crypto/Software Verification Engineer

For more information or any questions, feel free to email