{"schemaVersion":"jobsearcher.job.v1","id":"3dff30bfc212dcaa16b9d5d9","url":"https://jobsearcher.com/jobs/3dff30bfc212dcaa16b9d5d9","canonicalUrl":"https://jobsearcher.com/jobs/3dff30bfc212dcaa16b9d5d9","title":"Remote Lean 4 Formal Methods Researcher","description":"Alignerr seeks a formal methods researcher to translate complex mathematical arguments into machine-verifiable proofs in Lean 4. This fully remote role is ideal for mathematicians passionate about formal verification and the future of mechanized mathematics.\nResponsibilities include collaborating with AI researchers, constructing formal proofs, and analyzing assumptions in domain-specific contexts. Successful candidates must possess a Master's degree in a relevant field and have extensive experience with Lean or similar proof assistants.\n\n#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Seattle","state":"WA","isRemote":true,"isActive":false,"createdAt":"2026-06-05T03:08:36.054Z","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":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"333517","title":"Machine Tool Manufacturing","slug":"machine-tool-manufacturing"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Formal Methods Researcher","description":"Alignerr seeks a formal methods researcher to translate complex mathematical arguments into machine-verifiable proofs in Lean 4. This fully remote role is ideal for mathematicians passionate about formal verification and the future of mechanized mathematics.\nResponsibilities include collaborating with AI researchers, constructing formal proofs, and analyzing assumptions in domain-specific contexts. Successful candidates must possess a Master's degree in a relevant field and have extensive experience with Lean or similar proof assistants.\n\n#J-18808-Ljbffr","datePosted":"2026-06-05T03:08:36.054Z","dateModified":"2026-06-05T03:08:36.054Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Seattle","addressRegion":"WA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"3dff30bfc212dcaa16b9d5d9"},"url":"https://jobsearcher.com/jobs/3dff30bfc212dcaa16b9d5d9"}}