Recrutement Labelbox Buenos Aires
2 offres de recrutement pour Labelbox Buenos Aires :
Recrutement Mathematical Formalization Specialist - Remote
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 improve m......
18 décembre 2025
Recrutement Lean Formalization Specialist
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 enhanc......
18 décembre 2025