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.
#J-*****-Ljbffr
📌 Lean Proof Architect For Ai Reasoning (Remote) (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.