Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean 4, bridging rigorous math and AI research. This fully remote hourly contract offers flexible hours and collaboration with leading AI teams.
You will translate informal proofs into machine-checkable Lean formalizations, analyze proofs for gaps, and contribute to scalable formal verification pipelines with expert guidance on proof strategies.
Remote Lean 4 Formal Methods Researcher (Contract) 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.
