Alignerr is seeking a Mathematical Formalization Specialist to translate informal proofs into Lean, crafting precise formalizations for AI reasoning. The role emphasizes clarity, structure, and correctness in proof scripts. You will collaborate with researchers to advance formal verification pipelines and explore boundaries of machine-verifiable mathematics.
The position is fully remote, hourly, and offers flexible scheduling with potential for ongoing engagements on new projects.
#J-18808-Ljbffr
Remote Lean Formalization Specialist - Proof & Verification 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.
