A leading AI research firm is seeking an Applied Formal Methods Researcher to work on formalizing mathematical proofs in Lean. This remote role involves collaborating on cutting-edge AI projects, translating informal proofs into structured formalizations, and requiring a strong mathematical foundation. Ideal candidates will have a Master's degree and hands-on experience with proof assistants. Enjoy competitive pay and flexible working arrangements while contributing to innovative research in formal verification.#J-18808-Ljbffr