{"schemaVersion":"jobsearcher.job.v1","id":"b4d4d566ccb2205424f3ed55","url":"https://jobsearcher.com/jobs/b4d4d566ccb2205424f3ed55","canonicalUrl":"https://jobsearcher.com/jobs/b4d4d566ccb2205424f3ed55","title":"Remote Lean Proof Architect","description":"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","company":"Alignerr","rawCompany":"alignerr","city":"Washington","state":"DC","isRemote":true,"isActive":false,"createdAt":"2026-07-07T03:14:42.710Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"},{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean Proof Architect","description":"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","datePosted":"2026-07-07T03:14:42.710Z","dateModified":"2026-07-07T03:14:42.710Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Washington","addressRegion":"DC","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"b4d4d566ccb2205424f3ed55"},"url":"https://jobsearcher.com/jobs/b4d4d566ccb2205424f3ed55"}}