A leading AI research partner is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. The ideal candidate will translate informal mathematical proofs into structured formal proofs using Lean. Strong foundations in rigorous proof writing and experience with proof systems are essential. This remote position offers competitive pay and the opportunity to work on cutting-edge AI projects in flexible environments.#J-18808-Ljbffr