Compiler and Verification Tools Engineer

Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to develop cryptographic software used by prominent software companies and projects. We firmly believe that privacy and end-to-end security are the cornerstones of a modern, open society. Our mission is to build usable and effective verification tools that any developer can use to build provably safe and secure applications.

We are currently seeking a Compiler and Verification Tools engineer to join our team. In this role, you will help us extend and improve hax, notably the compilation of Rust to various backend provers like Lean and ProVerif. You will also have the opportunity to apply the toolchain on high-impact codebases as part of various Cryspen projects.

Locations: France, Germany

Tasks

* Maintain the link between the hax toolchain and the rustc compiler<...