A leading AI research firm is seeking a Researcher to specialize in Lean for formal proofs. This remote role requires a Master's degree in Mathematics and strong proof writing skills. You will translate mathematical proofs into structured formalizations while collaborating with a team focused on innovating in formal verification. Competitive pay and flexible working hours are offered, making this an attractive opportunity for mathematicians who enjoy pushing the limits of modern proof assistants.#J-18808-Ljbffr