{"schemaVersion":"jobsearcher.job.v1","id":"5648cea358928bb8d3048b7b","url":"https://jobsearcher.com/jobs/5648cea358928bb8d3048b7b","canonicalUrl":"https://jobsearcher.com/jobs/5648cea358928bb8d3048b7b","title":"Remote Lean 4 Mathematician - Foundations & Formalization","description":"A leading AI research partner is seeking a Mathematician to work on formalizing advanced mathematical concepts using Lean 4. The ideal candidate will hold a Master's or PhD in Mathematics, with a strong background in proof writing and reasoning. Responsibilities include contributing to mathematical libraries and formal proofs. This hourly contract offers competitive pay, flexible remote work, and opportunities for global collaboration on 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-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":"Remote Lean 4 Mathematician - Foundations & Formalization","description":"A leading AI research partner is seeking a Mathematician to work on formalizing advanced mathematical concepts using Lean 4. The ideal candidate will hold a Master's or PhD in Mathematics, with a strong background in proof writing and reasoning. Responsibilities include contributing to mathematical libraries and formal proofs. This hourly contract offers competitive pay, flexible remote work, and opportunities for global collaboration on 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":"5648cea358928bb8d3048b7b"},"url":"https://jobsearcher.com/jobs/5648cea358928bb8d3048b7b"}}