{"schemaVersion":"jobsearcher.job.v1","id":"aa6b0730b2a99db8f6efcf2d","url":"https://jobsearcher.com/jobs/aa6b0730b2a99db8f6efcf2d","canonicalUrl":"https://jobsearcher.com/jobs/aa6b0730b2a99db8f6efcf2d","title":"Lean 4 Formal Verification Scientist (Mathlib) - Remote","description":"A leading AI partnership firm seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The role involves translating mathematical proofs for AI research and requires a Master's degree in a relevant area. Candidates should possess robust proof writing skills and experience with formal proof languages. Offering competitive pay and the opportunity to work alongside industry leaders, this flexible position is ideal for driven mathematicians looking to advance mechanized mathematics.\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"East Boston","state":"MA","isRemote":true,"isActive":false,"createdAt":"2026-04-09T08:05:28.720Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"industries":[{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean 4 Formal Verification Scientist (Mathlib) - Remote","description":"A leading AI partnership firm seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The role involves translating mathematical proofs for AI research and requires a Master's degree in a relevant area. Candidates should possess robust proof writing skills and experience with formal proof languages. Offering competitive pay and the opportunity to work alongside industry leaders, this flexible position is ideal for driven mathematicians looking to advance mechanized mathematics.\n#J-18808-Ljbffr","datePosted":"2026-04-09T08:05:28.720Z","dateModified":"2026-04-09T08:05:28.720Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"East Boston","addressRegion":"MA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"aa6b0730b2a99db8f6efcf2d"},"url":"https://jobsearcher.com/jobs/aa6b0730b2a99db8f6efcf2d"}}