Compiler and Verification Tools Engineer

translations to Lean and ProVerif Build usable tools around hax to help users verify real-world software Apply and test hax...

Lugar: Paris | 10/02/2026 18:02:32 PM | Salario: S/. €60000 - 85000 per year | Empresa: Cryspen