{"schemaVersion":"jobsearcher.job.v1","id":"2784958abbef58dff564a27d","url":"https://jobsearcher.com/jobs/2784958abbef58dff564a27d","canonicalUrl":"https://jobsearcher.com/jobs/2784958abbef58dff564a27d","title":"Remote Lean Formalization Specialist","description":"A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.\r\nJ-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Millbrae","state":"CA","isRemote":true,"isActive":true,"createdAt":"2026-04-09T15:39:50.689Z","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":"25-1022.00","title":"Mathematical Science Teachers, Postsecondary","slug":"mathematical-science-teachers-postsecondary"}],"industries":[{"code":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-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 Formalization Specialist","description":"A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.\r\nJ-18808-Ljbffr","datePosted":"2026-04-09T15:39:50.689Z","dateModified":"2026-04-09T15:39:50.689Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Millbrae","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"2784958abbef58dff564a27d"},"url":"https://jobsearcher.com/jobs/2784958abbef58dff564a27d"}}