Compiler and Verification Tools Engineer

Cryspen is a company that build high assurance security-critical software using formal verification. We develop the hax... to apply the toolchain on high-impact codebases as part of various Cryspen projects. Locations: France, Germany Tasks...