{"schemaVersion":"jobsearcher.job.v1","id":"7c061c4f8d5b865025fdfa7b","url":"https://jobsearcher.com/jobs/7c061c4f8d5b865025fdfa7b","canonicalUrl":"https://jobsearcher.com/jobs/7c061c4f8d5b865025fdfa7b","title":"Remote Lean Proof Scientist (Mathlib)","description":"A leading AI research partnership seeks a Formal Verification Scientist to translate mathematical proofs into machine-verifiable formats. This remote position requires a master's degree in Mathematics and extensive experience with proof assistants like Lean. Ideal candidates will have a strong foundation in proof writing and a passion for formal verification. Enjoy competitive compensation and flexible hours while collaborating on cutting-edge AI projects.\r\nJ-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Dallas","state":"TX","isRemote":true,"isActive":false,"createdAt":"2026-04-11T05:07:59.768Z","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":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean Proof Scientist (Mathlib)","description":"A leading AI research partnership seeks a Formal Verification Scientist to translate mathematical proofs into machine-verifiable formats. This remote position requires a master's degree in Mathematics and extensive experience with proof assistants like Lean. Ideal candidates will have a strong foundation in proof writing and a passion for formal verification. Enjoy competitive compensation and flexible hours while collaborating on cutting-edge AI projects.\r\nJ-18808-Ljbffr","datePosted":"2026-04-11T05:07:59.768Z","dateModified":"2026-04-11T05:07:59.768Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Dallas","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"7c061c4f8d5b865025fdfa7b"},"url":"https://jobsearcher.com/jobs/7c061c4f8d5b865025fdfa7b"}}