A cutting-edge AI research firm is seeking an Applied Formal Methods Researcher (Lean 4) to work remotely. This role is ideal for mathematicians with deep expertise in proof construction and experience with formal proof languages. Responsibilities include translating informal mathematical proofs into structured Lean formalizations. Candidates should hold at least a Master's in a relevant field and possess a strong foundation in rigorous proof writing. The position offers competitive hourly compensation and the flexibility of remote work.#J-18808-Ljbffr