{"schemaVersion":"jobsearcher.job.v1","id":"ed610c45ec376bc8040c8ce5","url":"https://jobsearcher.com/jobs/ed610c45ec376bc8040c8ce5","canonicalUrl":"https://jobsearcher.com/jobs/ed610c45ec376bc8040c8ce5","title":"Remote Lean 4 Proof Architect","description":"Alignerr is seeking a mathematician specializing in formal verification to translate rigorous mathematical proofs into machine-verifiable Lean 4 proofs. This is a remote and flexible hourly contract role that requires expertise in proof writing and previous experience with Lean or similar proof systems. Ideal candidates will have a Master's degree in Mathematics or related fields and a passion for formal verification. Join a global team on cutting-edge AI projects that shape the future of mechanized mathematics.#J-18808-Ljbffr","company":"Alignerr","rawCompany":"alignerr","isRemote":true,"isActive":false,"createdAt":"2026-05-24T10:40:55.012Z","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":"25-1022.00","title":"Mathematical Science Teachers, Postsecondary","slug":"mathematical-science-teachers-postsecondary"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"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 Proof Architect","description":"Alignerr is seeking a mathematician specializing in formal verification to translate rigorous mathematical proofs into machine-verifiable Lean 4 proofs. This is a remote and flexible hourly contract role that requires expertise in proof writing and previous experience with Lean or similar proof systems. Ideal candidates will have a Master's degree in Mathematics or related fields and a passion for formal verification. Join a global team on cutting-edge AI projects that shape the future of mechanized mathematics.#J-18808-Ljbffr","datePosted":"2026-05-24T10:40:55.012Z","dateModified":"2026-05-24T10:40:55.012Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocationType":"TELECOMMUTE","applicantLocationRequirements":{"@type":"Country","name":"US"},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"ed610c45ec376bc8040c8ce5"},"url":"https://jobsearcher.com/jobs/ed610c45ec376bc8040c8ce5"}}