Alignerr is seeking a Formal Verification Scientist to translate complex mathematical arguments into Lean 4 formalizations for AI research. The role is remote, hourly, and part of a freelance engagement with 10–40 hours per week.
You will develop machine-verifiable proofs, analyze proofs for gaps, and test proof assistants’ limits. Prior experience with Lean/Coq/Isabelle/HOL or Agda is highly valued, with a strong mathematical background and independent work ability.
#J-18808-Ljbffr
Remote Formal Verification Scientist — Lean 4 & Mathlib 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.
