A leading AI research partnership is seeking a Lean 4 Proof Engineer to formalize advanced mathematical proofs. This remote position requires a Master's degree in Mathematics or a related field, and extensive experience with proof writing, especially in Lean. Candidates will translate informal proofs into structured formalizations, supporting groundbreaking research in the field of formal verification. Join a team at the forefront of AI innovation, with competitive pay and flexible working arrangements.#J-18808-Ljbffr