Verification Jobs @ Cryspen

Stream: job postings

[Karthikeyan Bhargavan]

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: https://join.com/companies/cryspen/6735887-crypto-software-verification-engineer
For more information or any questions, feel free to email info@cryspen.com