Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematics into machine-verifiable formalizations. This fully remote, hourly contract role appeals to mathematicians who love rigorous proof construction and want their work to matter beyond the page.
You will translate informal proofs into Lean 4, analyze proofs for gaps, and construct formalizations that test the limits of proof assistants while collaborating with AI researchers on verification strategies.
#J-18808-Ljbffr
📌 Remote Lean 4 Proof Engineer — Mathematical Formalization (Ciudad de México)
🏢 Alignerr
📍 Ciudad de México
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.