Alignerr invites you to join as a Lean 4 Proof Engineer to formalize advanced mathematics for AI training. This is a fully remote hourly contract, with a 10–40 hour weekly commitment, offering flexible scheduling for mathematically mature experts.
You will translate informal proofs into Lean 4, analyze proofs across algebra, analysis, topology and logic, and collaborate with researchers to improve formal verification pipelines and libraries such as Lean and Coq.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer – Formalize Math for AI 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.
