{"schemaVersion":"jobsearcher.job.v1","id":"e2fcdab51afdefe85e9ec9e9","url":"https://jobsearcher.com/jobs/e2fcdab51afdefe85e9ec9e9","canonicalUrl":"https://jobsearcher.com/jobs/e2fcdab51afdefe85e9ec9e9","title":"Remote Lean 4 Formal Verification Scientist","description":"A leading AI research partner is seeking experienced mathematicians to translate human-written mathematical arguments into formal verifications. The role requires a strong background in rigorous proof writing, along with hands-on experience with proof systems like Lean. Ideal candidates will enjoy working at the frontier of formal verification, addressing challenges that existing automation struggles with. This position offers competitive pay, flexible remote work, and the opportunity to contribute to cutting-edge AI projects.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-09T12:03:45.228Z","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-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 Formal Verification Scientist","description":"A leading AI research partner is seeking experienced mathematicians to translate human-written mathematical arguments into formal verifications. The role requires a strong background in rigorous proof writing, along with hands-on experience with proof systems like Lean. Ideal candidates will enjoy working at the frontier of formal verification, addressing challenges that existing automation struggles with. This position offers competitive pay, flexible remote work, and the opportunity to contribute to cutting-edge AI projects.#J-18808-Ljbffr","datePosted":"2026-04-09T12:03:45.228Z","dateModified":"2026-04-09T12:03:45.228Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"e2fcdab51afdefe85e9ec9e9"},"url":"https://jobsearcher.com/jobs/e2fcdab51afdefe85e9ec9e9"}}