Empleos de Mechanized - Trabajos de Mechanized

of mechanized mathematics. - Ability to translate informal arguments into clean, structured formal proofs. Nice...

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

and a passion for mechanized mathematics. Candidates should be ready to work on complex formalization projects and contribute...

Lugar: Buenos Aires | 21/12/2025 18:12:35 PM | Salario: S/. No Especificado | Empresa: Alignerr