Lean 4 Formal Methods Reviewer — Remote Contractor

AI Trainer Jobs

United States

Remote

USD 96,000 - 165,000

Full time

2 days ago

Be an early applicant

Application generator

Stand out for this role — generate a tailored resume and cover letter in about a minute.

Get past ATS filters

Benefits offered by this job

Remote work

Contractor role

Job summary

AuraOne is seeking a Formal Methods (Lean 4) Expert for a remote review track to evaluate AI outputs across formal methods research, reasoning, and workflows. Reviewers grade derivations, reproduce results, and document the correct method so the modeling team can train on it.

Responsibilities include reproducing key derivations, flagging errors with severity tags, and capturing corrected reasoning for training.

Qualifications

Graduate-level training or equivalent applied experience in formal methods research review.
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.