Remote Lean Engineer - Formal Mathematics Reviewer
-
Engineering
Job Description & How to Apply Below
Aura One, Inc. seeks a Lean Engineer for Formal Mathematics to review AI outputs, reproduce key steps, and document the correct reasoning for model training. This remote contractor role requires strong math expertise and the ability to assess proofs and arguments across Lean 4 and Mathlib.
You will reproduce derivations, flag errors, and capture corrected methods to support the modeling team. Flexible async availability and high-quality written work are essential.
The Remote Lean Engineer
- Formal Mathematics Reviewer position in the Engineering field is open for applications.
We have an opening for a Remote Lean Engineer
- Formal Mathematics Reviewer in United States within Engineering.
This role, Remote Lean Engineer
- Formal Mathematics Reviewer at Aura One Human Data, could be your next career step.
Are you ready to take on the Remote Lean Engineer
- Formal Mathematics Reviewer role at Aura One Human Data?
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
View / Apply for Jobs
Matching My Jurisdiction