Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into machine-verifiable knowledge using Lean 4 and related proof systems. The role emphasizes clarity, structure, and correctness in formalizations.
You will work remotely on an hourly contract (10–40 hours/week), collaborating with researchers to push the frontiers of formal verification and AI reasoning. This is freelance autonomy with meaningful, challenging work.
#J-18808-Ljbffr
Remote Formal Verification Scientist — Lean 4 & Mathlib 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.
