Remote: Formal Verification Scientist (Lean 4/Mathlib)
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
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