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 | 31/05/2026 17:05:39 PM | Salario: S/. No Especificado | Empresa: Alignerr