Write and review Lean 4 proofs for a leading AI lab, formalize informal mathematics and judge whether a model's proof actually proves the right statement. A W-2 part-time employment position through Cincinnatus LLC, at least 20 hours a week and up to 40, paying $90–110/hour.
Remote AI training and data labeling jobs
Filter jobs
Location
- Worldwide16 jobs
- United States14 jobs
- United Kingdom2 jobs
- Canada1 job
- India1 job
- Mexicono roles alongside your other filters
Language
- English31 jobs
- Germanno roles alongside your other filters
- Spanishno roles alongside your other filters
- Frenchno roles alongside your other filters
- Japaneseno roles alongside your other filters
- Portugueseno roles alongside your other filters
- Dutchno roles alongside your other filters
- Koreanno roles alongside your other filters
- Chineseno roles alongside your other filters
- Indonesianno roles alongside your other filters
- Italianno roles alongside your other filters
- Danishno roles alongside your other filters
- Thaino roles alongside your other filters
- Finnishno roles alongside your other filters
- Russianno roles alongside your other filters
- Arabicno roles alongside your other filters
- Vietnameseno roles alongside your other filters
- Gujaratino roles alongside your other filters
- Hindino roles alongside your other filters
- Norwegianno roles alongside your other filters
- Tamilno roles alongside your other filters
- Teluguno roles alongside your other filters
- Filipinono roles alongside your other filters
- Banglano roles alongside your other filters
- Marathino roles alongside your other filters
- Malayno roles alongside your other filters
- Polishno roles alongside your other filters
- Turkishno roles alongside your other filters
- Ukrainianno roles alongside your other filters
- Bulgarianno roles alongside your other filters
- Catalanno roles alongside your other filters
- Czechno roles alongside your other filters
- Hungarianno roles alongside your other filters
- Georgianno roles alongside your other filters
- Lithuanianno roles alongside your other filters
- Urduno roles alongside your other filters
- Welshno roles alongside your other filters
- Croatianno roles alongside your other filters
- Haitian Creoleno roles alongside your other filters
- Kannadano roles alongside your other filters
- Malayalamno roles alongside your other filters
- Odiano roles alongside your other filters
- Punjabino roles alongside your other filters
- Romanianno roles alongside your other filters
- Basqueno roles alongside your other filters
- Persianno roles alongside your other filters
- Hebrewno roles alongside your other filters
- Swedishno roles alongside your other filters
- Swahilino roles alongside your other filters
Field: Software & IT
- Languages & Linguistics58 jobs
- Audio & Voice43 jobs
- Engineering40 jobs
- Business & Finance52 jobs
- Software & IT32 jobs, applied. Activate to remove
- Health & Medicine28 jobs
- Law, Policy & Security17 jobs
- General & Data Collection42 jobs
- Science & Math41 jobs
- AI Safety & Evaluation61 jobs
- Video, Image & Design9 jobs
- Data, AI & ML15 jobs
- Writing & Education1 job
- Other fieldsno roles alongside your other filters
Level
- Entryno roles alongside your other filters
- Junior1 job
- Medium17 jobs
- Senior14 jobs
Newest
32 open roles matching these filters · page 1 of 2
- $90 – $110 / HourWorldwide
Embedded firmware, FPGA/RTL, flight software and hardware test automation engineers review and write hard problems about software that runs on real hardware (timing, race conditions, interfaces, bring-up) for an AI research initiative. 5+ years, 3 recent hands-on. Remote contract, $100–120/hour.
$100 – $120 / HourWorldwideRemote hourly contract for Android developers who already run Android Studio on their own Mac. $55–65/hour, paid weekly via Stripe or Wise. The software is free; you need a Mac with a display above 2.5 megapixels (MacBook Pro 14" and 16" screens qualify). Tasks are not described.
$55 – $65 / HourWorldwideRemote hourly contract for Mac power users who run macOS Sonoma 14.5 as their everyday OS. $60–70/hour, paid weekly via Stripe or Wise. The version is specific, so anyone who has upgraded past Sonoma may not qualify. MacBook Pro 14" and 16" screens meet the display requirement.
$60 – $70 / HourWorldwideAudit AWS serverless and infrastructure-as-code tasks for a frontier AI lab: multi-service designs (Lambda, API Gateway, DynamoDB, EventBridge, Step Functions), CDK or CloudFormation fidelity, IAM boundaries and retry semantics. For US engineers with 3+ years building on AWS. $70–90/hour.
$70 – $90 / HourOpen to United StatesA short, well-paid sprint for very senior software engineers: help a leading foundation-model lab improve its models on hard SWE tasks. 10+ years at top US tech firms, about 20 hours a week for 2–3 weeks. $150–210/hour by geography and level; the 2-hour vetting exercise is paid $100.
$150 – $210 / HourWorldwideUS-based full-stack engineers with 3+ years build working software on a leading AI lab's pre-release models, integrating APIs, tool interfaces and evaluation harnesses and reporting where the models fail. Two language ecosystems required. Full-time W-2 through Cincinnatus LLC, 40 hours a week, $50–65/hour.
$50 – $65 / HourOpen to United StatesTwo to three paid one-hour video interviews with Mercor about how enterprise security work is done and judged, feeding a benchmark for AI cyber defense agents. $125–175/hour, US-based, no prep and nothing to label or submit.
$125 – $175 / HourOpen to United StatesRemote hourly contract for people who run Ubuntu 24.04 as their everyday desktop OS: Linux users, sysadmins, DevOps and open-source developers. $60–70/hour, paid weekly via Stripe or Wise. No licence cost, but you need a display above 2.5 megapixels. Tasks are not described.
$60 – $70 / HourWorldwideA hybrid, Bay Area-based W-2 role embedded with a leading AI lab: senior software engineers vet model outputs, write instruction specs and golden solutions, and build engineering benchmarks. 4+ years, senior-level progression and a CS or engineering degree. 40 hours a week for an initial 6 months, $65–105/hour.
$65 – $105 / HourHybridOpen to United StatesA paid expert conversation for engineers who build and run LLM agents in production: a short AI screening interview (no coding), then, if selected, a 30-minute live call on agent reliability, evaluation and internal adoption, paid $100–500 depending on depth of experience.
$100 – $500 / TaskWorldwideAudit repository-level software engineering benchmark tasks for a frontier AI lab: reference patches, test harnesses, Docker isolation, and signs of answer leakage or reward hacking. For US engineers with 3+ years and real open-source contributor or maintainer history. $70–90/hour.
$70 – $90 / HourOpen to United StatesRemote hourly contract for Mac-based IT admins, sysadmins, DevOps engineers and cross-platform developers who already run VMware Fusion on their own Mac. $55–65/hour, paid weekly via Stripe or Wise. Requires a display above 2.5 megapixels; tasks are not described.
$55 – $65 / HourWorldwideRemote hourly contract for power users, IT administrators and desktop support staff who run Windows 11 Pro as their daily OS. $60–70/hour, paid weekly via Stripe or Wise. Home edition users may not qualify, and a single 1080p screen does not meet the display rule. Tasks are not described.
$60 – $70 / HourWorldwideRun 20-minute structured interviews that vet senior engineers (GPU kernels, security research, ML compilers) for a frontier lab's AI training and evaluation panel, then tier each candidate and write a summary. For experienced recruiters and technical vetters. US, part-time, about 10 hours a week, $50–60/hour.
$50 – $60 / HourOpen to United StatesQA engineers, SDETs and test automation engineers review browser-based test workflows for AI-generated web apps, checking that each test is feasible, isolated, deterministic and gives a clean pass or fail before it joins a benchmark dataset. 3+ years and Playwright, Cypress or Selenium experience. Remote hourly contract at $30–60/hour.
$30 – $60 / HourWorldwideUS-based cloud and DevOps engineers design and grade AI training tasks on Kubernetes failure diagnosis, AWS service integration, Terraform or CDK design and CI/CD, and write the rubrics behind them. 4+ years at a top-tier organisation. Full-time W-2 through Cincinnatus LLC at a leading AI lab, $75–110/hour.
$75 – $110 / HourOpen to United StatesAudit end-to-end AI-assisted coding sessions (traces from tools like Cursor, Copilot or Claude Code) used to train and evaluate a frontier lab's models, judging correctness, workflow and reasoning with rubric-based feedback. 3+ years of software development plus hands-on agentic coding. US-only, $70–90/hour.
$70 – $90 / HourOpen to United StatesML systems engineers write and evaluate training tasks for a frontier lab across GPU kernels, performance profiling, distributed debugging and LLM inference serving, plus the rubrics that grade them. 2+ years of hands-on ML infrastructure work. Canada, UK or US; 40 hours a week. $90–120/hour.
$90 – $120 / HourOpen to Canada, United Kingdom and 1 more countryRemote hourly contract for game developers, technical artists and virtual production or archviz specialists who already run Unreal Engine on their own Windows PC. $30–40/hour, paid weekly via Stripe or Wise. The engine is free to download; a display above 2.5 megapixels is required.
$30 – $40 / HourWorldwideIndia-based full-stack engineers build real applications on top of a leading AI lab's pre-release models, wiring in tool interfaces, evaluation harnesses and telemetry, and writing up the model failures they hit. 3+ years at a top-tier organisation and two programming languages. Full-time, 40 hours a week, $25–30/hour.
$25 – $30 / HourOpen to IndiaEvaluate Neuron Kernel Interface (NKI) development tasks for a frontier AI lab: CUDA-to-NKI migration fidelity, Trainium performance optimisation and GPU-versus-Trainium numerical correctness. Requires 2+ years writing NKI kernels for Trainium or Inferentia2. US-only, $70–90/hour.
$70 – $90 / HourOpen to United StatesSenior US full-stack engineers (6+ years, end-to-end system ownership) build production-grade software on a leading AI lab's pre-release models, integrate tool interfaces and evaluation harnesses, and document model failure modes for researchers. Full-time W-2 through Cincinnatus LLC, 40 hours a week, $90–110/hour.
$90 – $110 / HourOpen to United StatesEvaluate GPU and accelerator kernel development tasks for a frontier AI lab: numerical correctness, benchmarking fairness, task scoping and compile or runtime validity across CUDA, Triton, NKI and Pallas. For US engineers with 3+ years of kernel work in at least two of those frameworks. $70–90/hour.
$70 – $90 / HourOpen to United States
Nothing that fits today?
New roles land most days. Get them on Telegram or Discord as they are added, or read how the platforms pay before you apply.