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 | 26/01/2026 18:01:16 PM | Salario: S/. €60000 - 85000 per year | Empresa: Cryspen