{"schemaVersion":"jobsearcher.job.v1","id":"47e7729cf7828b6de5aaed56","url":"https://jobsearcher.com/jobs/47e7729cf7828b6de5aaed56","canonicalUrl":"https://jobsearcher.com/jobs/47e7729cf7828b6de5aaed56","title":"Remote Lean 4 Researcher — Formal Proof Systems","description":"A leading AI training organization is seeking a Researcher specializing in Lean 4 and formal proof systems. This fully remote role involves translating complex mathematical arguments into machine-verifiable proofs, enhancing formal verification, and collaborating with researchers. Candidates should have a Master's degree in a related field and experience with proof systems like Lean. The role offers flexibility with a commitment of 10-40 hours per week, allowing the researcher to shape AI's understanding of formal proofs.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-04-09T12:03:45.225Z","occupations":[{"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"},{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"}],"industries":[{"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"},{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Remote Lean 4 Researcher — Formal Proof Systems","description":"A leading AI training organization is seeking a Researcher specializing in Lean 4 and formal proof systems. This fully remote role involves translating complex mathematical arguments into machine-verifiable proofs, enhancing formal verification, and collaborating with researchers. Candidates should have a Master's degree in a related field and experience with proof systems like Lean. The role offers flexibility with a commitment of 10-40 hours per week, allowing the researcher to shape AI's understanding of formal proofs.#J-18808-Ljbffr","datePosted":"2026-04-09T12:03:45.225Z","dateModified":"2026-04-09T12:03:45.225Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"47e7729cf7828b6de5aaed56"},"url":"https://jobsearcher.com/jobs/47e7729cf7828b6de5aaed56"}}