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.

Lean Proof Architect (Remote) (Buenos Aires)

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:38 PM | Salario: S/. 50 - 150 per hour | Empresa: Alignerr

Lean Proof Architect (Remote) (Buenos Aires)

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 Mathem...

Lugar: Buenos Aires | 15/12/2025 18:12:52 PM | Salario: S/. 50 - 150 per hour | Empresa: Alignerr

Principal Cloud Security Architect (Buenos Aires)

Role Overview The Principal Cloud Security Architect evaluates cloud architectures, identity models, permissions, and security controls across large-scale environments. This role focuses on identifying architectural risks, misconfigurati...

Lugar: Buenos Aires | 14/12/2025 18:12:40 PM | Salario: S/. 40 - 80 per hour | Empresa: Alignerr
1