Alignerr is seeking a Mathematical Formalization Specialist (Lean / Formal Proof Systems) to translate informal proofs into Lean and related systems, ensuring machine-verifiable correctness. You will analyze proofs, identify gaps, and build formalizations that push the boundaries of automation.
A fully remote, hourly contract with versátil commitment offers opportunities to collaborate with leading AI research labs and contribute to frontier mechanized mathematics.
📌 Lean Proof Architect for AI Reasoning (Rosario)
🏢 Alignerr
📍 Rosario
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.