{"schemaVersion":"jobsearcher.job.v1","id":"0e34b60aeae3f0cf2b3b8dff","url":"https://jobsearcher.com/jobs/0e34b60aeae3f0cf2b3b8dff","canonicalUrl":"https://jobsearcher.com/jobs/0e34b60aeae3f0cf2b3b8dff","title":"Lean Theorem Model Evaluator","description":"Lean Theorem Model Evaluator is a remote review track for evaluating AI outputs across lean theorem model research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method so the modeling team can train on it.\nWhy this role matters\nLean Theorem Model research review models live or die on whether their derivations actually hold up under scrutiny. AuraOne uses scientific specialists to grade outputs the way a peer reviewer would — checking assumptions, reproducing key steps, and capturing the right method alongside the wrong one.\nResponsibilities\nReview AI outputs against current lean theorem model research review methods, conventions, and prior work for Lean Theorem Model Evaluator assignments.\nReproduce or sanity-check key derivations, calculations, or experimental claims.\nFlag dimensional, methodological, and citation errors with structured severity tags.\nCapture the corrected reasoning or worked example so the modeling team can train on it.\nAdjudicate disputed answers against textbooks, papers, or community standards.\nMaintain reviewer-quality scores in inter-rater calibration cycles.\nQualifications\nGraduate-level training or equivalent applied experience in lean theorem model research review or a closely related field for Lean Theorem Model Evaluator work.\nHands-on experience publishing, teaching, or advising on the topic at a professional level.\nComfort applying multi-page rubrics consistently across long batches.\nClear written reasoning that cites methods, papers, or worked examples.\nReliable async availability for at least 10 hours per week.\nExample tasks\nReproduce a lean theorem model research review derivation from a model output and flag any algebraic or dimensional errors.\nGrade a model's literature summary against the cited papers and rate the citation quality.\nAdjudicate a disputed answer between two reviewers using textbook methods.\nAudit a 25-row batch for rubric consistency and report drift to the program lead.\nNice to have\nPhD, postdoc, or industry research experience in the topic area.\nPrior work reviewing AI-assisted research tooling and its failure modes.\nMultilingual fluency for non-English papers and corpora.\nSkills\nScientific reasoning\nMethod validation\nCitation review\nQuantitative analysis\nLean Theorem Model research review\nFormal reasoning\nProof review\nLean\nTheorem\nWork model\nRemote — US-eligible. Remote · Independent specialist contractor. Employment type: CONTRACTOR. Applicants must be authorized to work from US.\nCompensation\nHourly rate confirmed after the interview process.\nApplication process\nApply through AuraOne's specialist intake for role-specific routing and review. Final project scope, schedule, and contractor terms are confirmed before placement.","company":"Auraone Human Data","rawCompany":"auraone human data","city":"Remote","state":"OR","isRemote":false,"isActive":false,"createdAt":"2026-08-04T22:49:35.345Z","occupations":[{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"51-9061.00","title":"Inspectors, Testers, Sorters, Samplers, and Weighers","slug":"inspectors-testers-sorters-samplers-and-weighers"},{"code":"15-2099.00","title":"Mathematical Science Occupations, All Other","slug":"mathematical-science-occupations-all-other"}],"industries":[{"code":"541690","title":"Other Scientific and Technical Consulting Services","slug":"other-scientific-and-technical-consulting-services"},{"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"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean Theorem Model Evaluator","description":"Lean Theorem Model Evaluator is a remote review track for evaluating AI outputs across lean theorem model research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method so the modeling team can train on it.\nWhy this role matters\nLean Theorem Model research review models live or die on whether their derivations actually hold up under scrutiny. AuraOne uses scientific specialists to grade outputs the way a peer reviewer would — checking assumptions, reproducing key steps, and capturing the right method alongside the wrong one.\nResponsibilities\nReview AI outputs against current lean theorem model research review methods, conventions, and prior work for Lean Theorem Model Evaluator assignments.\nReproduce or sanity-check key derivations, calculations, or experimental claims.\nFlag dimensional, methodological, and citation errors with structured severity tags.\nCapture the corrected reasoning or worked example so the modeling team can train on it.\nAdjudicate disputed answers against textbooks, papers, or community standards.\nMaintain reviewer-quality scores in inter-rater calibration cycles.\nQualifications\nGraduate-level training or equivalent applied experience in lean theorem model research review or a closely related field for Lean Theorem Model Evaluator work.\nHands-on experience publishing, teaching, or advising on the topic at a professional level.\nComfort applying multi-page rubrics consistently across long batches.\nClear written reasoning that cites methods, papers, or worked examples.\nReliable async availability for at least 10 hours per week.\nExample tasks\nReproduce a lean theorem model research review derivation from a model output and flag any algebraic or dimensional errors.\nGrade a model's literature summary against the cited papers and rate the citation quality.\nAdjudicate a disputed answer between two reviewers using textbook methods.\nAudit a 25-row batch for rubric consistency and report drift to the program lead.\nNice to have\nPhD, postdoc, or industry research experience in the topic area.\nPrior work reviewing AI-assisted research tooling and its failure modes.\nMultilingual fluency for non-English papers and corpora.\nSkills\nScientific reasoning\nMethod validation\nCitation review\nQuantitative analysis\nLean Theorem Model research review\nFormal reasoning\nProof review\nLean\nTheorem\nWork model\nRemote — US-eligible. Remote · Independent specialist contractor. Employment type: CONTRACTOR. Applicants must be authorized to work from US.\nCompensation\nHourly rate confirmed after the interview process.\nApplication process\nApply through AuraOne's specialist intake for role-specific routing and review. Final project scope, schedule, and contractor terms are confirmed before placement.","datePosted":"2026-08-04T22:49:35.345Z","dateModified":"2026-08-04T22:49:35.345Z","hiringOrganization":{"@type":"Organization","name":"Auraone Human Data","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Remote","addressRegion":"OR","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"0e34b60aeae3f0cf2b3b8dff"},"url":"https://jobsearcher.com/jobs/0e34b60aeae3f0cf2b3b8dff"}}