A leading AI research company seeks an Applied Formal Methods Researcher to translate informal mathematical proofs into precise, machine-verifiable formalizations using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field, strong proof writing skills, and hands-on experience with formal verification tools. This remote role offers flexibility, competitive pay, and the chance to work on cutting-edge AI projects. Join a team passionate about formal verification and mechanized mathematics.#J-18808-Ljbffr