Remote: Formal Verification Scientist (Lean 4/Mathlib)

A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal mathematical arguments into formal proofs, primarily using Lean. Responsibilities include analyzing proofs for gaps and collaborating with researchers on verification strategies. This is a fully remote position with competitive hourly compensation and flexible commitments from 10 to 40 hours per week. #J-18808-Ljbffr