A leading AI research partner is seeking an Applied Formal Methods Researcher for a remote role focused on translating informal mathematical arguments into machine-verifiable formalizations. Candidates should possess a Master's degree or higher in a relevant field, expertise with formal proof languages, especially Lean, and an interest in rigorous proof construction. The position offers competitive pay and flexible working conditions.#J-18808-Ljbffr