Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs for AI training. This fully remote hourly contract focuses on formal verification at the edge of proof systems, requiring rigorous reasoning and independent work across problems.
Candidates should have a strong math background, experience with Lean/Coq/Isabelle, and a passion for mechanized mathematics. Flexible hours across 10–40 weekly hours are offered.
#J-18808-Ljbffr
Remote Lean 4 Researcher – Formal Proof Systems 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.
