A leading AI research firm seeks an Applied Formal Methods Researcher to work on translating informal mathematical arguments into machine-verifiable formalizations using Lean. Ideal candidates will have a master's degree in a relevant field and experience with proof assistants. Responsibilities include analyzing proofs, collaborating on verification strategies, and developing structured formal proofs. This is a flexible remote role with competitive compensation ranging from $70–$150 per hour based on experience.#J-18808-Ljbffr