Alignerr is seeking Formal Verification Scientists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. You will work at the frontier of what proof assistants can express and automate, shaping how AI understands formal reasoning.
This fully remote, hourly contract invites mathematicians who love rigorous proof construction to tackle dense, elegant arguments and express them in machine-checkable form. Flexible hours and collaboration with researchers are included.
#J-18808-Ljbffr
Lean 4 Formal Verification Scientist — Remote 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.
