Alignerr is seeking a Lean 4 Proof Engineer to translate rigorous mathematical arguments into machine-verifiable formalizations. You will work at the edge of what proof assistants can express, ensuring correctness, clarity, and reproducibility in Lean 4 formalizations.
The role is a fully remote, hourly contract for mathematicians who value precision, structure, and the future of mechanized mathematics. Expect 10-40 hours per week with flexible scheduling and collaboration with AI researchers.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer for Mathematical Formalization in Birmingham 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.
