A leading AI research firm is seeking a Researcher for Lean 4 & Formal Proof Systems. This remote position requires a Master's degree or higher in Mathematics, Logic, or a closely related field. Candidates should have hands-on experience with Lean and a strong foundation in rigorous proof writing. This role focuses on translating human-written mathematical arguments into machine-verifiable formalizations, working closely with researchers and improving formal verification pipelines. Competitive pay and flexible work hours are offered.#J-18808-Ljbffr