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 is looking for a Formal Verification Scientist to work remotely. The ideal candidate will have a Master's degree and experience in Lean or similar systems, focusing on translating mathematical arguments into formal proofs. Key responsibilities include analyzing proofs, collaborating on verification strategies, and enhancing formal verification processes. This position offers competitive pay, freelance flexibility, and the opportunity to work on cutting-edge AI projects.#J-18808-Ljbffr