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-LjbffrLean 4 Formal Methods Reviewer Remote Contractor in workfromhome at Unknown Company
This position is listed as full time and able to be worked remotely.