A leading AI research firm is seeking a Researcher for translating informal mathematical proofs into formalizations using Lean. Candidates should possess a Master's degree or higher in Mathematics or related fields, showcasing hands-on experience with proof languages. The role involves analyzing proofs, identifying structures, and collaborating on formal verification projects. Offers competitive pay and flexible remote work arrangements.#J-18808-Ljbffr