Remote Lean 4 Proof Engineer: Formalize Math
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 collaboration firm is seeking a Researcher specializing in Lean and formal proof systems. The ideal candidate will have a Master's degree in Mathematics and strong proof writing skills. This remote position involves translating informal mathematical proofs into machine-verifiable formats and collaborating with researchers to enhance formal verification methods. Competitive pay, flexible hours, and opportunities for contract extensions are offered.
#J-18808-Ljbffr