A leading AI partnership firm is seeking an Applied Formal Methods Researcher (Lean 4). This fully remote role involves translating mathematical proofs into formal, machine-verifiable structures. Ideal candidates will hold a master's degree in Mathematics or a related field, demonstrate rigorous proof writing skills, and have hands-on experience with proof assistants like Lean. Join a team dedicated to advancing the frontier of formal verification with competitive pay and flexible work arrangements.#J-18808-Ljbffr