A leading AI research company is seeking a skilled professional to translate mathematical proofs into Lean in a remote setup. You will analyze proofs, collaborate with researchers, and contribute to the development of formal verification strategies. The ideal candidate holds a Master's degree in a relevant field, has strong rigorous proof writing skills, and familiarity with proof assistants like Lean. Join us for competitive pay and the chance to work on cutting-edge AI projects.#J-18808-Ljbffr