{"schemaVersion":"jobsearcher.job.v1","id":"115e680bbf06660479dfb8a9","url":"https://jobsearcher.com/jobs/115e680bbf06660479dfb8a9","canonicalUrl":"https://jobsearcher.com/jobs/115e680bbf06660479dfb8a9","title":"Lean 4 Foundations Mathematician – Remote","description":"A research partner for AI development is looking for a Mathematician to work remotely. The role involves formalizing advanced mathematical arguments using Lean 4 and contributing to large-scale formal mathematical libraries. Candidates should hold a Master's or PhD in Mathematics, have a strong background in proof writing, and preferably experience with formal proof assistants. This position offers competitive pay, flexible hours, and the potential for contract extension.#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-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean 4 Foundations Mathematician – Remote","description":"A research partner for AI development is looking for a Mathematician to work remotely. The role involves formalizing advanced mathematical arguments using Lean 4 and contributing to large-scale formal mathematical libraries. Candidates should hold a Master's or PhD in Mathematics, have a strong background in proof writing, and preferably experience with formal proof assistants. This position offers competitive pay, flexible hours, and the potential for contract extension.#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":"115e680bbf06660479dfb8a9"},"url":"https://jobsearcher.com/jobs/115e680bbf06660479dfb8a9"}}