{"schemaVersion":"jobsearcher.job.v1","id":"1e04e3c8ae67e15766fe27be","url":"https://jobsearcher.com/jobs/1e04e3c8ae67e15766fe27be","canonicalUrl":"https://jobsearcher.com/jobs/1e04e3c8ae67e15766fe27be","title":"Process Engineer","description":"Alignerr is seeking Applied Formal Methods Researchers to translate rigorous mathematical arguments into Lean 4 proofs for AI verification. This fully remote hourly contract suits mathematicians who enjoy precision, proof assistants, and impactful work at the frontier of automated reasoning. You will translate informal proofs, analyze gaps, and develop machine-verifiable formalizations while collaborating with AI researchers to refine verification pipelines. Lean experience is highly preferred.","company":"Alignerr","rawCompany":"alignerr","city":"Denver","state":"CO","isRemote":false,"isActive":false,"createdAt":"2026-11-06T15:35:16.518Z","occupations":[{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"code":"17-2199.00","title":"Engineers, All Other","slug":"engineers-all-other"}],"industries":[{"code":"541511","title":"Custom Computer Programming Services","slug":"custom-computer-programming-services"},{"code":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"},{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Process Engineer","description":"Alignerr is seeking Applied Formal Methods Researchers to translate rigorous mathematical arguments into Lean 4 proofs for AI verification. This fully remote hourly contract suits mathematicians who enjoy precision, proof assistants, and impactful work at the frontier of automated reasoning. You will translate informal proofs, analyze gaps, and develop machine-verifiable formalizations while collaborating with AI researchers to refine verification pipelines. Lean experience is highly preferred.","datePosted":"2026-11-06T15:35:16.518Z","dateModified":"2026-11-06T15:35:16.518Z","hiringOrganization":{"@type":"Organization","name":"Alignerr","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Denver","addressRegion":"CO","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"1e04e3c8ae67e15766fe27be"},"url":"https://jobsearcher.com/jobs/1e04e3c8ae67e15766fe27be"}}