Lean engineers and formal mathematicians write and review Lean 4 proofs that compile against current mathlib. You turn informal math into precise statements and help an AI lab judge whether a model's proof actually proves the right thing. It is listed as remote work of at least 20 hours a week, with room to grow to 40.
- Listed at $90 to $110 an hour
- 20 hours a week
- Remote
- Field: Coding
- Posted 2026-09-30
Pay as listed. Updated 2026-10-14.
This is a referral link. Applying through it costs you nothing and does not change your pay. Pay and hours can change after the date shown.
Before You Apply
Most AI training applications include an AI interview. Our AI interview and skills assessment guide covers how to prepare for it.
Similar Roles
- CodingCybersecurity Research Expert, Offensive Security & Vulnerability ResearchListed at $200 to $250 an hourRemote40 hrs/weekView role →
- CodingMachine Learning Engineer Talent NetworkListed at $70 to $250 an hourRemoteView role →
- CodingMLOps Engineer, LLM Systems (Serving, GPU Kernels, Profiling)Listed at $90 to $120 an hourRemote, open to Canada, United Kingdom, United States40 hrs/weekView role →
Keep Looking
Not sure this role fits your background? The AI Training Job Matcher suggests open roles for your field in a minute.