Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments into machine-checkable formalizations using Lean 4. This fully remote, hourly contract role offers 10–40 hours weekly and suits mathematicians with strong proof-writing skills.
You will analyze proofs, build formalizations, and collaborate with researchers to enhance verification pipelines while producing clear proof scripts and contributing to large‑scale formalization projects.
#J-18808-LjbffrLean 4 Proof Engineer - Formalize Advanced Math for AI in Cambridge employer: Alignerr
Alignerr is an exceptional employer that champions innovation in healthcare through AI, offering a dynamic remote work environment that fosters collaboration and creativity. Employees benefit from a culture of continuous learning and professional development, with ample opportunities to grow within the organisation while contributing to groundbreaking projects that have a real impact on clinical research. Join us to be part of a forward-thinking team dedicated to transforming healthcare for the better.
