Compiler and Verification Tools Engineer - Remote

Posted 6 weeks ago

Software Development

Full Time

France

Overview

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.

In Short

Join Cryspen as a Compiler and Verification Tools Engineer.
Extend and improve the hax toolchain for Rust.
Work on high-impact projects involving cryptographic software.
Implement code transformations for Rust.
Maintain the link between the hax toolchain and the rustc compiler.
Build usable tools around hax for software verification.
Apply and test hax on various prominent Rust projects.

Requirements

Experience in writing and maintaining language compilers.
Proficient in Rust; knowledge of OCaml is a plus.
Knowledge of formal verification tools 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.

Cryspen

Cryspen is dedicated to creating high-assurance software aimed at enhancing global safety. The company seeks passionate Software Engineers of all levels to join their collaborative team, focusing on developing and maintaining secure software solutions primarily in Rust. With an emphasis on performance, safety, and security, Cryspen values collaboration with experienced engineers in software, verification, and cryptography. The company also embraces open-source contributions and offers a supportive work environment that promotes personal and professional growth, including flexible working hours and a four-day work week.

Share This Job!

Save This Job!