Mathematical Formalization Specialist - Remote
verification, proof assistants, and the future of mechanized mathematics. Ability to translate informal arguments into clean...
Lugar: Buenos Aires | 23/12/2025 18:12:46 PM | Salario: S/. No Especificado | Empresa: Alignerr Corp.