Mathematical Formalization Specialist - Remote (Buenos Aires)

intersection of mathematics and computer science, focusing on translating human-written mathematical arguments into precise... at the frontier of formal verification—someone who finds satisfaction in taking a dense, elegant human argument...

Lugar: Buenos Aires | 01/01/2026 18:01:29 PM | Salario: S/. No Especificado | Empresa: Labelbox