Cryspen

Compiler and Verification Tools Engineer

Cryspen

full-time

Posted on:

Location Type: Remote

Location: Remote • 🇫🇷 France

Visit company website
✨ AI Apply
Apply

Salary

💰 €60,000 - €85,000 per year

Job Level

Mid-LevelSenior

Tech Stack

Rust

About the role

  • 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

Requirements

  • 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

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard skills
RustOCamlcode transformationslanguage compilersformal verification tools