Remote Lean 4 Proof Engineer - Formalization Specialist
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 company is looking for a Lean 4 Proof Engineer specializing in mathematical formalization. The ideal candidate will have a Master's degree in Mathematics or a related field and experience in rigorous proof writing and formal verification using Lean. Responsibilities include translating informal mathematical proofs into formal structures and collaborating with researchers on verification tools. This is a remote position with flexible hours and competitive pay.
J-18808-Ljbffr