Lean Formalization Specialist (Buenos Aires)

A leading AI firm is seeking a Mathematical Formalization Specialist to translate informal mathematical proofs into structured formalizations using proof languages, primarily Lean. The role involves collaborating with researchers to enhance...

Lugar: Buenos Aires | 16/12/2025 18:12:25 PM | Salario: S/. No Especificado | Empresa: Labelbox

Mathematical Formalization Specialist - Remote (Argentina)

Mathematical Formalization Specialist (Lean / Formal Proof Systems) Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improv...

Lugar: Argentina | 16/12/2025 18:12:59 PM | Salario: S/. No Especificado | Empresa: Labelbox