Remote Lean Proof Architect
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 forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages. The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification. This position offers competitive hourly pay ranging from $50 to $150. J-18808-Ljbffr