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 adaptable commitment offers opportunities to collaborate with leading AI research labs and contribute to frontier mechanized mathematics.
📌 Lean Proof Architect for AI Reasoning (Santa Fe)
🏢 Alignerr
📍 Santa Fe
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.