A leading AI research company seeks a Lean 4 Proof Engineer to write advanced mathematical proofs for cutting-edge AI projects. The ideal candidate holds a Master's degree in Mathematics, has hands-on experience with Lean, and possesses a strong foundation in rigorous proof writing. Responsibilities include translating informal proofs into precise formalizations and collaborating with researchers on verification strategies. This role offers competitive pay, flexible remote work, and the chance to contribute to innovative AI developments.#J-18808-Ljbffr