Alignerr is seeking a Researcher to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs for AI training. You will work remotely on rigorous formalizations, stretching proof assistants and identifying gaps, with a focus on clarity and correctness.
You will collaborate with researchers, construct reproducible proof scripts, and contribute to formal verification strategies for complex models. This is a flexible hourly contract with 10–40 hours per week.
#J-18808-Ljbffr
Remote Lean 4 Proof Engineer for AI Reasoning in Cambridge 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.
