- Listed at $80 to $130 an hour
- 20 hours a week
- Remote
Open to: United States
Apply nowWaiting to hear back? Ask in our Discord
This Role at a Glance
- Who it is for: The role suits people with graduate training in mathematics, computer science or logic, plus hands-on experience in Lean, Coq or Isabelle.
- Pay: Listed at $80 to $130 an hour on 2026-11-10.
- Where it is open: United States.
How to Apply in 3 Steps
- Check that you meet the requirements and live where the role is open.
- Select Apply now on this page. The application opens in a new tab.
- Upload your resume, complete the required assessments and verify your work authorization. Steps vary by role.
You will write, check and repair formal proofs in a proof assistant, and review AI outputs on theorem proving tasks with clear written feedback. It is remote for candidates in the United States, at 20 hours a week on weekdays.
This is a 100% remote role. Applicants must live in the United States.
- Field: Science
- Posted 2026-11-09
Pay as listed on 2026-11-10.
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.
Get Ready for Your Mercor Interview
Next comes Mercor's AI interview. Most take about 20 minutes.
Get Interview Prep by Email
We will email you how it works, how to get ready and what happens after.
Done. You are on the list.
A few short emails from the DigiNo team. Unsubscribe anytime.
Two Tips Before You Start
- Mercor has a free Practice Interview that is not tied to any application.
- Use a computer with a camera and microphone, in Chrome. Firefox and phone browsers are not supported.
Read our Mercor interview guide
Sources: Mercor help center.
Get Notified When New Roles Are Added
At most one email a day, only when new AI training roles you can apply for go up. Pay as listed. Job emails only, unsubscribe anytime.
Done. You’re on the job alerts.
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
- ScienceResearch Scientist, Computer Science & Computational PhysicsListed at $100 to $400 an hourRemoteView role →
- SciencePrincipal Research Scientist (Computer Science / Computational Physics)Listed at $100 to $400 an hourRemoteView role →
- SciencePayer & Market Access Expert, Gross-to-Net & Formulary StrategyListed at $175 to $200 an hourRemote, US-based or deep US-market experience15 hrs/weekView role →
Keep Looking
Not sure this role fits your background? The matcher on our AI training jobs page suggests open roles for your field in a minute.