Lean 4 Formal Verification Scientist (Mathlib) – Remote
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 technology company is seeking a Formal Verification Scientist to translate informal mathematical proofs into Lean. Ideal candidates will have a Master's degree in Mathematics or a related field, with strong experience in formal proof systems like Lean. This position offers competitive pay, flexible remote work options, and the opportunity to collaborate on cutting-edge AI projects. The role focuses on bridging gaps in formal verification and involves working closely with researchers to enhance proof pipelines.#J-18808-Ljbffr