A leading AI research partner is looking for an Applied Formal Methods Researcher (Lean 4) to work remotely. You'll translate informal mathematical proofs into formal structures and analyze proofs to identify gaps. Candidates should have a Master's degree in Mathematics or a related field, strong skills in rigorous proof writing, and experience with proof assistants, particularly Lean. Competitive pay and flexible work hours are offered, with opportunities for contract extensions.#J-18808-Ljbffr