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... - €60000 - 85000 per year -
Voir cette offre d'emploi