Lean Proof Architect (Remote)
A leading AI solutions provider is seeking a Mathematical Formalization Specialist to translate informal mathematical arguments into precise, machine-verifiable formalizations. This remote role requires a Master's degree or higher in Mathe...
Lugar: Buenos Aires | 15/12/2025 18:12:13 PM | Salario: S/. 50 - 150 per hour | Empresa: Alignerr Corp.