A global AI partnership company seeks an Applied Formal Methods Researcher to formalize advanced mathematical proofs in Lean. The ideal candidate has a Master's degree or higher in Mathematics and experience with formal proof languages. Responsibilities include translating proofs, analyzing formal models, and collaborating with researchers. This remote position offers flexible hours and competitive pay. Perfect for mathematicians aiming to push the limits of formal verification in AI research.#J-18808-Ljbffr