Mathematical Formalization Specialist (Buenos Aires)

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical... proof systems — especially Lean — to help push the boundaries of what machine-verifiable mathematics can express...

Lugar: Buenos Aires | 05/06/2026 17:06:11 PM | Salario: S/. No Especificado | Empresa: Alignerr