{"schemaVersion":"jobsearcher.job.v1","id":"d4980900b5d81139db94cc6d","url":"https://jobsearcher.com/jobs/d4980900b5d81139db94cc6d","canonicalUrl":"https://jobsearcher.com/jobs/d4980900b5d81139db94cc6d","title":"Remote: Formal Verification Scientist (Lean 4/Mathlib)","description":"A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal mathematical arguments into formal proofs, primarily using Lean. Responsibilities include analyzing proofs for gaps and collaborating with researchers on verification strategies. This is a fully remote position with competitive hourly compensation and flexible commitments from 10 to 40 hours per week.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-14T02:37:49.784Z","occupations":[{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"}],"industries":[{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote: Formal Verification Scientist (Lean 4/Mathlib)","description":"A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal mathematical arguments into formal proofs, primarily using Lean. Responsibilities include analyzing proofs for gaps and collaborating with researchers on verification strategies. This is a fully remote position with competitive hourly compensation and flexible commitments from 10 to 40 hours per week.#J-18808-Ljbffr","datePosted":"2026-04-14T02:37:49.784Z","dateModified":"2026-04-14T02:37:49.784Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"d4980900b5d81139db94cc6d"},"url":"https://jobsearcher.com/jobs/d4980900b5d81139db94cc6d"}}