A leading AI research collaboration firm is looking for a Formal Verification Scientist to translate informal mathematical proofs into Lean and enhance formal verification processes. This role, requiring a Master's in Mathematics or a related field, offers competitive pay and the flexibility of remote work. Applicants should have strong mathematical reasoning skills and hands-on experience with Lean or similar tools. This position focuses on advancing formal verification techniques and enabling breakthroughs in mechanized mathematics. #J-18808-Ljbffr