A leading AI research company is seeking mathematicians to formalize mathematical proofs in Lean for cutting-edge AI projects. This remote role requires a Master's degree in Mathematics or a closely related field and strong experience with proof assistants, particularly Lean. Candidates will analyze mathematical proofs, refine formal verification strategies, and collaborate on advanced AI models. Benefits include competitive pay, flexible remote work, and the chance to work on innovative projects at the forefront of mechanized mathematics.#J-18808-Ljbffr