Compiler and Verification Tools Engineer

Compiler and Verification Tools Engineer

Join Cryspen, a company building high‑assurance security‑critical software using formal verification. We develop the hax verification toolchain for Rust and apply it to create cryptographic software used by prominent companies and projects. Our mission is to build usable and effective verification tools that any developer can use to create provably safe and secure applications.

Locations: France, Germany

• Maintain the link between the hax toolchain and the rustc compiler.
• Implement code transformations for Rust, enabling translations to Lean and Pro Verif.
• Build usable tools around hax to help users verify real‑world software.
• Apply and test hax on a variety of prominent Rust projects.

• Experience in writing and maintaining language compilers and translations.
• Proficient in Rust; knowledge of other languages like OCaml is a plus.
• Knowledge of formal verification tools and processes is not required, but is a plus.

• Room to grow personally and professionally.
• Work on high‑impact projects.
• Shape your own role.
• Flexible working hours.
• Family‑friendly work environment.

We will try to get back to you as soon as possible after sending in your application. After the first screening call, there will be several interviews (video calls) covering technical aspects as well as ensuring alignment on core values.