Lean 4 Formal Methods Expert — Remote Reviewer

AuraOne; United States; On-site; USD 112,000 - 152,000; Full time

Job summary

AuraOne seeks a Formal Methods (Lean 4) Expert for a remote reviewer track evaluating AI outputs. You’ll verify derivations, reproduce key steps, and document the correct method to train the modeling team.

This is an independent contractor position with US eligibility, requiring solid publication/teaching experience and reliable weekly availability. You will adjudicate, grade, and calibrate across long batches using multi-page rubrics, citing papers or worked examples as needed, and report any

Qualifications

• Graduate-level training or equivalent applied experience in formal methods research review or a closely related field for Formal Methods (Lean 4) Expert 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.

Responsibilities

• Review AI outputs against current formal methods research review methods, conventions, and prior work for Formal Methods (Lean 4) Expert 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

Formal Methods research review

Education

Graduate-level training in formal methods research review

Job description

AuraOne seeks a Formal Methods (Lean 4) Expert for a remote reviewer track evaluating AI outputs. You’ll verify derivations, reproduce key steps, and document the correct method to train the modeling team.

This is an independent contractor position with US eligibility, requiring solid publication/teaching experience and reliable weekly availability. You will adjudicate, grade, and calibrate across long batches using multi-page rubrics, citing papers or worked examples as needed, and report any