Alignerr is seeking a Mathematical Formalization Specialist (Lean / Formal Proof Systems) for a remote hourly contract. You will translate informal proofs into Lean and related systems, analyze proofs, and push the boundaries of machine-verifiable mathematics.
You’ll collaborate with AI researchers, ensuring clean, reproducible proof scripts and rigorous formalizations while working flexibly across time zones. This role values strong math background and independence.
#J-18808-Ljbffr
📌 Remote Lean Proof Architect for AI Reasoning (Neuquén)
🏢 Alignerr
📍 Neuquén
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.