A cutting-edge AI research firm is seeking an Applied Formal Methods Researcher who will work remotely on translating informal mathematical proofs into formal proofs using Lean. Candidates should have a Master's degree in Mathematics or a related field, with strong skills in rigorous proof writing and a passion for formal verification. This remote position offers competitive pay and requires collaboration with AI research teams on advanced projects. Flexibility and potential for contract extension make this an exciting opportunity.#J-18808-Ljbffr