Email Gateway (Jan 08 2023 at 15:50): Email Gateway (Jan 08 2023 at 15:50):From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
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 <https://join.com/companies/cryspen/6735887-crypto-software-verification-engineer>
For more information or any questions, feel free to email info@cryspen.com <mailto:info@cryspen.com>
Best regards,
Karthikeyan Bhargavan
Last updated: Apr 16 2024 at 16:19 UTC