Engineering

Lean 4 Formal Methods Reviewer Remote Contractor

AI Trainer Jobs

Workfromhome · Nationwide · United States

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.

#J-18808-Ljbffr

Reference: WJ-2926_4746848

Apply now

Continue on the employer's official application - the same link they use for every candidate.

More jobs

This role is listed on GigBlows for discovery and search. Hiring decisions and applications are handled by the employer or their chosen application system.