A leading AI research organization is seeking a Researcher specializing in Lean and formal proof systems to translate mathematical proofs into precise, machine-verifiable formats. The ideal candidate will have a Master's degree in a related field and hands-on experience with proof languages. This is a remote position offering competitive pay and the opportunity to work on cutting-edge AI projects. Join a team focusing on advancing formal verification methods in mathematics.#J-18808-Ljbffr