[Hiring] Compiler and Verification Tools Engineer @Cryspen

Role Description

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.

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

Qualifications

• 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

Benefits

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

Application Process

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 making sure we are aligned on the core values.

Company Description

Cryspen is a cybersecurity company founded in late 2021 by three experts in cyber security with a proven track record in security, cryptography, and automated reasoning. Our mission is to revolutionize software safety and security by bringing cutting-edge automated reasoning tools, traditionally used in research labs, to the commercial world. We believe that safety, privacy, and end-to-end security are fundamental and a crucial piece for a modern and open society.