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 info@cryspen.com