Remote Theorem-Proving Review Specialist

AuraOne, Inc.; United States; Remote; USD 55,000 - 83,000; Part time

Job summary

AuraOne, Inc. is seeking a remote Theorem Proving Reasoning Reviewer contractor to evaluate AI outputs across theorem proving research review, calculations, and workflows. You will reproduce key derivations, assess correctness, and document the proper method to guide the modeling team.

The role emphasizes rigorous rubric-based grading, reproducibility of results, and clear written reasoning. Graduate-level training or equivalent experience is expected, with at least 10 hours per week and US work

Qualifications

• Graduate-level training or equivalent applied experience in theorem proving reasoning research review or a closely related field for Theorem Proving Reasoning Reviewer work.
• Hands-on experience publishing, teaching, or advising on the topic at a professional level.
• Clear written reasoning that cites methods, papers, or worked examples.
• Reliable async availability for at least 10 hours per week.

Responsibilities

• Review AI outputs against current theorem proving reasoning research review methods, conventions, and prior work for Theorem Proving Reasoning Reviewer 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.

Skills

Scientific reasoning

Method validation

Citation review

Quantitative analysis

Theorem proving

Formal reasoning

Proof review

Theorem

Proving

Job description

AuraOne, Inc. is seeking a remote Theorem Proving Reasoning Reviewer contractor to evaluate AI outputs across theorem proving research review, calculations, and workflows. You will reproduce key derivations, assess correctness, and document the proper method to guide the modeling team.

The role emphasizes rigorous rubric-based grading, reproducibility of results, and clear written reasoning. Graduate-level training or equivalent experience is expected, with at least 10 hours per week and US work