Cryspen is looking for engineers with expertise in compilers and verification to
advance our hax verification framework and apply it to real-world software.
Knowledge of Rust, OCaml, Rocq, CompCert, or Lean is a strong advantage.
Best regards,
Karthik