{"schemaVersion":"jobsearcher.job.v1","id":"e9179bb3d05fae770737a7a3","url":"https://jobsearcher.com/jobs/e9179bb3d05fae770737a7a3","canonicalUrl":"https://jobsearcher.com/jobs/e9179bb3d05fae770737a7a3","title":"Researcher: Lean 4 & Formal Proof Systems (Remote)","description":"A leading AI research firm is seeking a Researcher specializing in Lean 4 and Formal Proof Systems, focusing on translating human-written mathematical arguments into machine-verifiable formalizations. Ideal candidates will have a Master's degree in Mathematics and deep experience in rigorous proof construction. The role offers flexible remote work with competitive pay ranging from $70 to $150 per hour, alongside opportunities for collaboration on cutting-edge AI projects.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-09T12:03:45.226Z","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-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"industries":[{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541720","title":"Research and Development in the Social Sciences and Humanities","slug":"research-and-development-in-the-social-sciences-and-humanities"},{"code":"541715","title":"Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)","slug":"research-and-development-in-the-physical-engineering-and-life-sciences-except-nanotechnology-and-biotechnology"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Researcher: Lean 4 & Formal Proof Systems (Remote)","description":"A leading AI research firm is seeking a Researcher specializing in Lean 4 and Formal Proof Systems, focusing on translating human-written mathematical arguments into machine-verifiable formalizations. Ideal candidates will have a Master's degree in Mathematics and deep experience in rigorous proof construction. The role offers flexible remote work with competitive pay ranging from $70 to $150 per hour, alongside opportunities for collaboration on cutting-edge AI projects.#J-18808-Ljbffr","datePosted":"2026-04-09T12:03:45.226Z","dateModified":"2026-04-09T12:03:45.226Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"e9179bb3d05fae770737a7a3"},"url":"https://jobsearcher.com/jobs/e9179bb3d05fae770737a7a3"}}