AI Coding Jobs
AI coding jobs for developers: write, review and debug code that trains and tests AI models. Pay and required experience are listed on each role.
$70/hr
Typical $63–$90/hr across 349 roles with listed pay
By field
Job listings 23
MeridialHomography Specialist - Freelance AI Trainer ProjectEngineering / Math / Software & Coding · today
Thailand$8–$65/hrApply
About this role
The specialist reviews and annotates AI-generated content, checks homography transformations and model responses, labels points across images, and documents errors while helping refine prompts and guidelines. The work suits someone with foundational homography and projective-geometry knowledge gained through coursework, research, or applied experience in computer vision, robotics, graphics, or a related field.
What you'd do
- Rate and critique AI answers
- Write prompts and tasks
- Write grading rubrics
- Label data
Requirements
- Foundational knowledge of homography and projective geometry, supported by coursework, research, or applied experience
- Strong analytical ability
- Clear communication skills
- Attention to detail
- Secure computer and stable internet connection
Full description
- Platform
- Meridial
- Pay rate
- $8–$65/hr
- Eligibility
- Thailand
- Expertise
- Engineering, Math, Software & Coding
- Level
- Mid-level
- Posted
- today
MeridialLaTex Specialist (Fluent in German) - Freelance AI Trainer ProjectSoftware & Coding / Math / Engineering · today
United States$65/hrApply
About this role
You will test AI models on LaTeX topics, check their answers and formatting, record reproducible errors, and suggest improvements to prompts and evaluation metrics. The work suits someone with LaTeX expertise and German fluency, particularly with a background in academic publishing, technical writing, or scientific communication.
What you'd do
- Rate and critique AI answers
- Write prompts and tasks
- Red-team AI models
Requirements
- LaTeX expertise
- Fluency in German
- Secure computer and high-speed internet
- Language: DE (fluent)
Full description
- Platform
- Meridial
- Pay rate
- $65/hr
- Eligibility
- United States
- Expertise
- Software & Coding, Math, Engineering
- Level
- Mid-level
- Posted
- today
MeridialLaTex Specialist (Fluent in Tagalog) - Freelance AI Trainer ProjectSoftware & Coding / Math / Languages & Translation · today
Philippines$65/hrApply
About this role
The person tests AI models on LaTeX document-preparation scenarios, checks their answers, records reproducible errors, and suggests improvements to prompts and evaluation metrics. The work suits someone with specialist LaTeX knowledge and Tagalog fluency, especially a background in academic publishing, technical writing, or scientific communication.
What you'd do
- Rate and critique AI answers
- Red-team AI models
Requirements
- Fluency in Tagalog
- LaTeX specialist expertise
- Secure computer and high-speed internet
Commitment
- Ongoing
Full description
- Platform
- Meridial
- Pay rate
- $65/hr
- Eligibility
- Philippines
- Expertise
- Software & Coding, Math, Languages & Translation
- Level
- Mid-level
- Posted
- today
micro1Mathematics Expert (MSc./PhD)Math / Software & Coding · today Worldwide$60–$120/hrApply
About this role
The work involves creating, solving, implementing, and validating advanced mathematical tasks using Python and command-line tools. It suits applicants with a quantitative degree and mathematics-focused professional or research experience, especially in a mathematical specialty such as numerical analysis, optimization, or statistics.
What you'd do
- Write prompts and tasks
- Write ideal answers
- Write code
Requirements
- Bachelor's degree
- Field: Mathematics, Applied Mathematics, Statistics, Operations Research, Computational Science, Theoretical Computer Science, closely related quantitative field
- 1+ years of experience
- A bachelor's degree requires at least 1–2 years of mathematics-focused professional or research experience; alternatively, an MS or PhD in a listed or closely related field.
- Strong expertise in at least one mathematical area.
- Language: EN
Commitment
- 15–15 hours a week
- Flexible schedule
- Ongoing
Before you start
- Interview with an AI
- Interview
Full description
- Platform
- micro1
- Pay rate
- $60–$120/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Posted
- today
micro1STEM Expert (MSc./PhD)Biology & Life Sciences / Math / Physics · today Worldwide$60–$120/hrApply
About this role
The expert solves scientific or technical problems, uses Python for calculations or simulations, and checks AI-generated solutions for errors. The role suits someone with deep expertise in a STEM field and practical coding experience.
What you'd do
- Rate and critique AI answers
- Write ideal answers
- Write code
Requirements
- Strong expertise in at least one relevant STEM or scientific domain
- Practical proficiency with Python or another coding language
- Experience using coding agents in workflow
Commitment
- 15–15 hours a week
- Flexible schedule
- Ongoing
Before you start
- Interview with an AI
- Interview
Full description
- Platform
- micro1
- Pay rate
- $60–$120/hr
- Eligibility
- Worldwide
- Expertise
- Biology & Life Sciences, Math, Physics
- Level
- Expert
- Posted
- today
micro1ML Engineer (MSc. or PhD)Software & Coding / Engineering / Math · today Worldwide$60–$120/hrApply
About this role
Develop and validate machine-learning models, training and inference workflows, and supporting systems in Python, including implementing components, debugging failures, and optimizing performance. The role suits an experienced machine-learning engineer with a required master’s degree or PhD in a quantitative or related field and practical Python and coding-agent proficiency.
What you'd do
- Write code
- Review code
Requirements
- Master's degree
- Field: Computer Science, Machine Learning, Artificial Intelligence, Applied Mathematics, Statistics, Engineering, closely related quantitative discipline
- Strong professional or research experience in machine learning
- Practical proficiency with Python and coding agents
Commitment
- 15–15 hours a week
- Flexible schedule
- Ongoing
Before you start
- Interview with an AI
Full description
- Platform
- micro1
- Pay rate
- $60–$120/hr
- Eligibility
- Worldwide
- Expertise
- Software & Coding, Engineering, Math
- Level
- Expert
- Posted
- today
micro1Puzzle Solver (Coding)Software & Coding / Math · today Worldwide$60–$120/hrApply
About this role
Solve self-contained coding, logic, debugging, and technical reasoning challenges, then test and document reproducible solutions. The work suits competitive programmers with strong data-structures and algorithms knowledge and experience debugging unfamiliar code.
What you'd do
- Write code
Requirements
- Codeforces profile
- Strong understanding of common data structures and algorithms
- Ability to reason about constraints, complexity, edge cases, and correctness
- Experience debugging unfamiliar code or solving technically ambiguous problems
Commitment
- 15–15 hours a week
- Flexible schedule
- Ongoing
Before you start
- Interview with an AI
- Interview
Full description
- Platform
- micro1
- Pay rate
- $60–$120/hr
- Eligibility
- Worldwide
- Expertise
- Software & Coding, Math
- Level
- Expert
- Posted
- today
micro1Applied ScientistData & Analytics / Math / Software & Coding · today Worldwide$245–$280/hrApply
About this role
The Applied Scientist designs statistical analyses and machine-learning models, works with Python and Pandas, documents findings, and evaluates AI outputs while creating prompts, datasets, and reference solutions. The work suits someone with applied statistics, experimentation, machine-learning, and data-science experience; prior AI experience is not required.
What you'd do
- Rate and critique AI answers
- Write prompts and tasks
- Write ideal answers
- Write code
- Review code
Full description
- Platform
- micro1
- Pay rate
- $245–$280/hr
- Eligibility
- Worldwide
- Expertise
- Data & Analytics, Math, Software & Coding
- Level
- Expert
- Posted
- today
micro1Competitive Data Scientist (Kaggle)Data & Analytics / Software & Coding / Math · today Worldwide$60–$120/hrApply
About this role
You build reproducible data-science tasks, implement reference solutions, create tests, and run coding agents to find and correct flaws in the tasks. The work suits someone with competitive data-science experience and practical programming skills, especially in machine learning, quantitative modeling, or applied mathematics.
What you'd do
- Write prompts and tasks
- Write ideal answers
- Write grading rubrics
- Write code
- Rate and critique AI answers
Requirements
- Demonstrated experience in data science, machine learning, quantitative modeling, or relevant research competitions
- Practical programming ability sufficient to implement and verify solutions
- Language: EN
Commitment
- 15–15 hours a week
- Flexible schedule
Full description
- Platform
- micro1
- Pay rate
- $60–$120/hr
- Eligibility
- Worldwide
- Expertise
- Data & Analytics, Software & Coding, Math
- Level
- Expert
- Posted
- today
micro1Competitive CoderSoftware & Coding / Math · today Worldwide$45–$65/hrApply
About this role
The work involves creating competitive-programming problems and reinforcement-learning environments, then writing C++ checkers, reference solutions, and test suites. It suits someone with strong competitive-programming experience and advanced C++ skills.
What you'd do
- Write prompts and tasks
- Write ideal answers
- Write code
Requirements
- Expertise in competitive programming and coding problem analysis
- Advanced proficiency in C++
- Strong analytical abilities
- Strong written and verbal communication skills
- Language: EN
Commitment
- 15+ hours a week
Full description
- Platform
- micro1
- Pay rate
- $45–$65/hr
- Eligibility
- Worldwide
- Expertise
- Software & Coding, Math
- Level
- Expert
- Posted
- today
MercorLean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)Math / Software & Coding · today Worldwide$90–$110/hrApply
About this role
You write and review Lean 4 proofs, formalize mathematical statements, assess AI-generated proofs, and create guidance for proof quality. The role suits someone with hands-on Lean 4 and mathlib experience and a strong background in proof-based mathematics, theoretical computer science, or logic.
What you'd do
- Rate and critique AI answers
- Write ideal answers
- Write grading rubrics
- Write code
- Review code
Requirements
- Hands-on experience writing formal proofs in Lean 4
- Comfort with mathlib and Lean 4 tactics
- Strong background in proof-based mathematics, theoretical computer science, or logic through a degree or research record
- Ability to work at least 20 hours per week during weekdays
- Language: EN
Commitment
- 20–40 hours a week
- Fixed schedule
- Ongoing
Full description
- Platform
- Mercor
- Pay rate
- $90–$110/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Posted
- today
MeridialPure Mathematics Specialist – Freelance AI Trainer ProjectMath / Software & Coding · today Worldwide$35–$65/hrApply
About this role
You construct and evaluate advanced mathematical proofs, check reasoning for errors, translate proofs into Lean 4, and help refine prompts and evaluation frameworks. The work suits someone with deep pure-mathematics knowledge and Lean 4 fluency.
What you'd do
- Rate and critique AI answers
- Write prompts and tasks
- Write grading rubrics
- Write code
- Review code
Requirements
- Deep foundations in pure mathematics
- Fluency in Lean 4
- Clear communication of reasoning and proof strategies
- Language: EN
Commitment
- Short-term project
Full description
- Platform
- Meridial
- Pay rate
- $35–$65/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Posted
- today
AlignerrMathematician – Formalization & AI Foundations (Remote Contract)Math / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The work involves formalizing advanced mathematical proofs in Lean 4. It suits someone with a background in mathematics and proof formalization.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Mid-level
- Posted
- today
AlignerrMathematician – Formal Systems & AI Foundations (Remote Contract)Math / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The work involves formalizing mathematical proofs in Lean 4 on a flexible schedule. It suits someone with a mathematics background and familiarity with formal proof systems.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Posted
- today
AlignerrMathematician – Foundations & Formal Proof (AI Training)Math · today Worldwide$170–$200/hrApply
About this role
Formalize mathematical proofs in Lean 4 for AI research. The work suits someone with advanced mathematics expertise and familiarity with formal proof development.
What you'd do
- Write code
Requirements
- Advanced mathematics expertise
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math
- Level
- Expert
- Posted
- today
AlignerrMathematician (Foundations / Formalization)Math · today Worldwide$170–$200/hrApply
About this role
The person formalizes advanced mathematical proofs in Lean 4. The work suits someone with mathematical expertise and familiarity with formal proof development, though the listing does not state specific qualifications.
What you'd do
- Write code
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math
- Level
- Expert
- Locations
- 2
- Posted
- today
AlignerrApplied Formal Methods Researcher (Lean 4)Math / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The researcher formalizes advanced mathematical proofs in Lean 4. The work suits someone with a background in advanced mathematics and formal proof development.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 32
- Posted
- today
AlignerrResearcher - Lean 4 & Formal Proof SystemsMath / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The researcher formalizes advanced mathematical proofs in Lean 4 for AI research. The work suits someone with a background in formal mathematics and proof systems.
What you'd do
- Write code
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 32
- Posted
- today
AlignerrLean 4 Proof Engineer - Mathematical FormalizationMath / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The person formalizes advanced mathematical proofs in Lean 4 for AI research. The work suits someone with specialized experience in mathematical formalization and Lean 4.
What you'd do
- Write code
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 32
- Posted
- today
AlignerrFormal Verification Scientist (Lean 4 & Mathlib)Math · today Worldwide$170–$200/hrApply
About this role
Formalizes advanced mathematical proofs in Lean 4 and Mathlib for AI research. This work suits a mathematician with formal verification and theorem-proving experience.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math
- Level
- Expert
- Locations
- 32
- Posted
- today
AlignerrMathematical Formalization SpecialistMath / Software & Coding · today Worldwide$50–$150/hrApply
About this role
Formalizes mathematical proofs in Lean for AI and formal-verification work. This suits someone with advanced mathematics and Lean formalization experience.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $50–$150/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 20
- Posted
- today
AlignerrLean 4 Mathematical Formalization ExpertMath / Software & Coding · today Worldwide$170–$200/hrApply
About this role
The role involves using Lean 4 to help formalize mathematical reasoning for AI. It suits someone with Lean 4 expertise and a background in mathematics or formalization.
What you'd do
- Write code
Commitment
- Flexible schedule
Full description
- Platform
- Alignerr
- Pay rate
- $170–$200/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 2
- Posted
- today
AlignerrMathematical Formalization Specialist (Lean / Formal Proof Systems)Math / Software & Coding · today Worldwide$50–$150/hrApply
About this role
You write Lean proofs that challenge what AI can verify. The work suits someone with a specialized background in mathematical formalization and formal proof systems.
What you'd do
- Write code
Requirements
- Language: EN
Full description
- Platform
- Alignerr
- Pay rate
- $50–$150/hr
- Eligibility
- Worldwide
- Expertise
- Math, Software & Coding
- Level
- Expert
- Locations
- 2
- Posted
- today
Showing 1-23 of 23 positions