Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced mathematics for AI training. You will translate informal proofs into Lean 4 code and collaborate with researchers to push the boundaries of machine-verifiable mathematics.
This fully remote, hourly contract offers 10–40 hours per week for mathematically mature individuals proficient in Lean and other proof assistants. You will test proof strategies and contribute to robust formalization pipelines.
#J-18808-Ljbffr
Lean 4 Proof Engineer - Remote Mathematical Formalization in Oxford employer: Alignerr Corp.
Join a leading global AI research firm that values innovation and collaboration, offering a dynamic remote work environment for an Applied Physicist. With competitive pay, flexible scheduling, and a strong emphasis on employee growth, this role provides the opportunity to engage in cutting-edge projects while contributing to the advancement of AI technology. Experience a supportive culture that encourages creativity and professional development, making it an ideal place for those passionate about physics and AI.
