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 * Maintain...
Lugar:
Berlin | 16/12/2025 18:12:29 PM | Salario: S/. No Especificado | Empresa:
CryspenCryspen 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...
Lugar:
Berlin | 16/12/2025 18:12:25 PM | Salario: S/. €60000 - 85000 per year | Empresa:
Cryspen