{"schemaVersion":"jobsearcher.job.v1","id":"8e6dafa3372e77429c19f7e9","url":"https://jobsearcher.com/jobs/8e6dafa3372e77429c19f7e9","canonicalUrl":"https://jobsearcher.com/jobs/8e6dafa3372e77429c19f7e9","title":"Remote Lean 4 Formal Verification Researcher","description":"Alignerr is seeking mathematicians and formal verification specialists to translate mathematical proofs into machine-verifiable Lean 4 proofs. This remote contract role requires a Master's degree or higher in Mathematics and strong proof writing skills. Responsibilities include analyzing proofs, improving formalization strategies, and collaborating with researchers. Ideal candidates have experience with Lean and a passion for mechanized mathematics. Enjoy flexibility, autonomy, and meaningful work at the forefront of AI and formal mathematics.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-05-04T02:49:31.098Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"},{"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":"541618","title":"Other Management Consulting Services","slug":"other-management-consulting-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Formal Verification Researcher","description":"Alignerr is seeking mathematicians and formal verification specialists to translate mathematical proofs into machine-verifiable Lean 4 proofs. This remote contract role requires a Master's degree or higher in Mathematics and strong proof writing skills. Responsibilities include analyzing proofs, improving formalization strategies, and collaborating with researchers. Ideal candidates have experience with Lean and a passion for mechanized mathematics. Enjoy flexibility, autonomy, and meaningful work at the forefront of AI and formal mathematics.#J-18808-Ljbffr","datePosted":"2026-05-04T02:49:31.098Z","dateModified":"2026-05-04T02:49:31.098Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"8e6dafa3372e77429c19f7e9"},"url":"https://jobsearcher.com/jobs/8e6dafa3372e77429c19f7e9"}}