{"schemaVersion":"jobsearcher.job.v1","id":"f6f8c1905ea3811cda4d87f9","url":"https://jobsearcher.com/jobs/f6f8c1905ea3811cda4d87f9","canonicalUrl":"https://jobsearcher.com/jobs/f6f8c1905ea3811cda4d87f9","title":"Remote Lean 4 Researcher - Formal Proof Systems","description":"A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience in Lean. Candidates should possess enthusiasm for formal verification and have strong communication skills. Join us for competitive pay, flexible work, and the opportunity to collaborate on cutting-edge AI projects.\r\nJ-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","city":"Sheffield","state":"TX","isRemote":true,"isActive":false,"createdAt":"2026-04-09T15:30:13.990Z","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":"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"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Researcher - Formal Proof Systems","description":"A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience in Lean. Candidates should possess enthusiasm for formal verification and have strong communication skills. Join us for competitive pay, flexible work, and the opportunity to collaborate on cutting-edge AI projects.\r\nJ-18808-Ljbffr","datePosted":"2026-04-09T15:30:13.990Z","dateModified":"2026-04-09T15:30:13.990Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Sheffield","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"f6f8c1905ea3811cda4d87f9"},"url":"https://jobsearcher.com/jobs/f6f8c1905ea3811cda4d87f9"}}