Alignerr seeks researchers to translate advanced mathematical proofs into Lean 4 formalizations, pushing the boundaries of automated reasoning. You will work remotely on 10–40 hours per week, translating dense arguments into machine-verifiable proofs and collaborating with AI researchers to improve verification pipelines.
Ideal candidates hold a Master’s or higher in mathematics or related fields, with strong proof-writing skills and experience in Lean, Coq, Isabelle/HOL, or Agda.
#J-18808-Ljbffr
Remote Researcher - Lean 4 & Formal Proofs 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.
