Mathematical Formalization Specialist (Buenos Aires)

Descripción de la vacante Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role...‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

Lugar: Buenos Aires | 28/07/2026 17:07:20 PM | Salario: S/. No Especificado | Empresa: Alignerr

Web Designer (Grünbein)

valuation, we’re a lean, fast-moving team across NYC, SF, Buenos Aires, and London, shipping at a relentless pace and defining...

Lugar: Argentina | 28/07/2026 17:07:41 PM | Salario: S/. No Especificado | Empresa: Profound