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
- Australiano roles alongside your other filters
- Belgiumno roles alongside your other filters
- Irelandno roles alongside your other filters
- Argentinano roles alongside your other filters
- Switzerlandno roles alongside your other filters
- Chileno roles alongside your other filters
- Colombiano roles alongside your other filters
- Costa Ricano roles alongside your other filters
- Germanyno roles alongside your other filters
- Spainno roles alongside your other filters
- Panamano roles alongside your other filters
- Brazilno roles alongside your other filters
- Dominican Republicno roles alongside your other filters
- Franceno roles alongside your other filters
- Italyno roles alongside your other filters
- Luxembourgno roles alongside your other filters
- Netherlandsno roles alongside your other filters
- New Zealandno roles alongside your other filters
- Peruno roles alongside your other filters
- Uruguayno roles alongside your other filters
- Albaniano roles alongside your other filters
- Austriano roles alongside your other filters
- Bosnia & Herzegovinano roles alongside your other filters
- Barbadosno roles alongside your other filters
- Bulgariano roles alongside your other filters
- Bahamasno roles alongside your other filters
- Czechiano roles alongside your other filters
- Denmarkno roles alongside your other filters
- Ecuadorno roles alongside your other filters
- Estoniano roles alongside your other filters
- Finlandno roles alongside your other filters
- Greeceno roles alongside your other filters
- Guatemalano roles alongside your other filters
- Hondurasno roles alongside your other filters
- Croatiano roles alongside your other filters
- Hungaryno roles alongside your other filters
- Icelandno roles alongside your other filters
- Jamaicano roles alongside your other filters
- South Koreano roles alongside your other filters
- Liechtensteinno roles alongside your other filters
- Lithuaniano roles alongside your other filters
- Latviano roles alongside your other filters
- Monacono roles alongside your other filters
- Moldovano roles alongside your other filters
- North Macedoniano roles alongside your other filters
- Maltano roles alongside your other filters
- Nicaraguano roles alongside your other filters
- Norwayno roles alongside your other filters
- Polandno roles alongside your other filters
- Portugalno roles alongside your other filters
- Romaniano roles alongside your other filters
- Serbiano roles alongside your other filters
- Swedenno roles alongside your other filters
- Sloveniano roles alongside your other filters
- Slovakiano roles alongside your other filters
- San Marinono roles alongside your other filters
- El Salvadorno roles alongside your other filters
- Kosovono roles alongside your other filters
- Boliviano roles alongside your other filters
- Belizeno roles alongside your other filters
- Cubano roles alongside your other filters
- Indonesiano roles alongside your other filters
- Japanno roles alongside your other filters
- Paraguayno roles alongside your other filters
- Venezuelano roles alongside your other filters
- South Africano 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
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.