Alignerr Corp. is seeking a Researcher to translate informal mathematical proofs into Lean 4 proofs for AI training. This remote, hourly contract role invites researchers who enjoy rigor, formal verification, and pushing the boundaries of mechanized mathematics.
You will collaborate with AI researchers, develop readable proof scripts, and help improve verification pipelines, with 10–40 hours per week and flexible schedules. A strong background in mathematics and Lean is highly valued.
#J-18808-Ljbffr
Researcher: Lean 4 & Formal Proofs for AI 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.
