Top 4 Quantitative model Jobs in Remote

Coq Formalization Model Evaluator
AuraOne Human Data —Remote
- Remote
- Mid-level
- Doctor of Philosophy
- US work authorization
3d
Combinatorics Model Evaluator
AuraOne Human Data —Remote
- Remote
- Mid-level
- Doctor of Philosophy
- US work authorization
3d
Number Theory Model Evaluator
AuraOne Human Data —Remote
- Remote
- Mid-level
- Doctor of Philosophy
- US work authorization
3d
Lean Theorem Model Evaluator
AuraOne Human Data —Remote
- Remote
- Doctor of Philosophy
- US work authorization
- Senior level
3d

Discover related jobs

Based on your search for quantitative model jobs.

Software Engineer Analyst - AI Trainer
DataAnnotation —RSM, CA
Flexible schedule: choose which projects you take on and when you work, on your own computer, from the comfort of your own home.
$50 - $100 an hour
Quick Apply
Senior Quantitative Analyst - AI Trainer
DataAnnotation —New Jersey
A bachelor's degree in a quantitative field preferred (Statistics, Computer Science, Mathematics, Engineering, or similar); an advanced degree (Master’s or PhD)…
$50 - $100 an hour
Quick Apply

I want to receive the latest job alert for quantitative model in remote

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

quantitative model jobs near remote

Artist Model jobs in Michigan

Model N jobs in Remote

Fit Model jobs in California

Fitness Model jobs in Atlanta, GA

Clothing Model jobs in Houston, TX

Lingerie Model jobs in California

Nude Model jobs in Georgia

Nude Model jobs in Cleveland, OH

Model Maker jobs in New York, NY

Fashion Model jobs in Minneapolis, MN

Clothing Model jobs in Columbus, OH

Promotional Model jobs in Detroit, MI

Clothing Model jobs in California

Fashion Model jobs in Wisconsin

Artist Model jobs in Portland, OR

Coq Formalization Model Evaluator

AuraOne Human Data
Remote

Apply Now

Job Details

3 days ago

Qualifications

Scientific publications
Scientific research papers
Model evaluation
Teaching

Full Job Description

Coq Formalization Model Evaluator is a remote review track for evaluating AI outputs across coq formalization 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.

Why this role matters

Coq Formalization 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.

Responsibilities

Review AI outputs against current coq formalization model research review methods, conventions, and prior work for Coq Formalization Model Evaluator assignments.
Reproduce or sanity-check key derivations, calculations, or experimental claims.
Flag dimensional, methodological, and citation errors with structured severity tags.
Capture the corrected reasoning or worked example so the modeling team can train on it.
Adjudicate disputed answers against textbooks, papers, or community standards.
Maintain reviewer-quality scores in inter-rater calibration cycles.

Qualifications

Graduate-level training or equivalent applied experience in coq formalization model research review or a closely related field for Coq Formalization Model Evaluator work.
Hands-on experience publishing, teaching, or advising on the topic at a professional level.
Comfort applying multi-page rubrics consistently across long batches.
Clear written reasoning that cites methods, papers, or worked examples.
Reliable async availability for at least 10 hours per week.

Example tasks

Reproduce a coq formalization model research review derivation from a model output and flag any algebraic or dimensional errors.
Grade a model's literature summary against the cited papers and rate the citation quality.
Adjudicate a disputed answer between two reviewers using textbook methods.
Audit a 25-row batch for rubric consistency and report drift to the program lead.

Nice to have

PhD, postdoc, or industry research experience in the topic area.
Prior work reviewing AI-assisted research tooling and its failure modes.
Multilingual fluency for non-English papers and corpora.

Skills

Scientific reasoning
Method validation
Citation review
Quantitative analysis
Coq Formalization Model research review
Formal reasoning
Proof review
Formalization

Work model

Remote — US-eligible. Remote · Independent specialist contractor. Employment type: CONTRACTOR. Applicants must be authorized to work from US.

Compensation

Hourly rate confirmed after the interview process.

Application process

Apply through AuraOne's specialist intake for role-specific routing and review. Final project scope, schedule, and contractor terms are confirmed before placement.

Apply Now

Refine Your Search

quantitative model jobs in remote

Coq Formalization Model Evaluator

Combinatorics Model Evaluator

Number Theory Model Evaluator

Lean Theorem Model Evaluator

Discover related jobs

I want to receive the latest job alert for quantitative model in remote

Explore jobs in more locations

Why this role matters

Responsibilities

Qualifications

Example tasks

Nice to have

Skills

Work model

Compensation

Application process

Job Seeker Tools

Employer Tools

Browse

Stay Connected