Recrutement Cryspen

Recrutement Compiler and Verification Tools Engineer

Cryspen - Paris - €60000 - 85000 per year

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......

27 janvier 2026