ZipRecruiter

Log In

1

Ai Proof Jobs (NOW HIRING)

TEKsystems

Practice Architect- AI/ML

Dallas, TX

$136K - $204K/yr

This role demands the versatility to lead diverse engagements, from AI proof-of-concepts to enterprise-scale intelligent platforms, while fostering innovation, responsible AI practices, and ...

New

TEKsystems

Practice Architect- AI/ML

Chicago, IL

$136K - $204K/yr

This role demands the versatility to lead diverse engagements, from AI proof-of-concepts to enterprise-scale intelligent platforms, while fostering innovation, responsible AI practices, and ...

Ameris Bank

AI Architect

Atlanta, GA · On-site

$60.50 - $79.75/hr

... proofs of concept and pilots. • Supports AI business case development and guide solutions through implementation and production. Qualifications : Required : • Minimum 6 years of software ...

previous page

Showing results 41-60

All JobsAi Proof Jobs

Ai Proof information

See salary details

$44.5K

$129.7K

$177.5K

How much do ai proof jobs pay per year?

As of Jul 24, 2026, the average yearly pay for ai proof in the United States is $129,716.00, according to ZipRecruiter salary data. Most workers in this role earn between $114,500.00 and $137,500.00 per year, depending on experience, location, and employer.

What jobs will never be replaced by AI?

Jobs that require complex human interaction, emotional intelligence, and creative judgment, such as mental health professionals, social workers, and creative artists, are less likely to be fully replaced by AI. Roles involving nuanced decision-making, ethical considerations, and hands-on skills also remain resistant to automation. These jobs often require empathy, adaptability, and critical thinking that AI cannot replicate fully.

What jobs are most AI proof?

Jobs that require complex human interaction, creativity, critical thinking, and manual skills are generally more AI-proof. Examples include healthcare professionals, skilled trades, mental health counselors, and roles involving strategic decision-making, as these tasks are difficult for AI to replicate fully. Continuous learning and adaptability also help protect jobs from automation.

What is a $900000 AI job?

A $900,000 AI job typically refers to a high-paying position in artificial intelligence, such as senior machine learning engineer, AI research director, or executive roles like AI CTO. These roles often require advanced skills in programming, data analysis, and experience with AI frameworks, and may involve leadership responsibilities or specialized expertise. Compensation at this level reflects significant experience, impact, and often includes bonuses or stock options.

What is the difference between Ai Proof vs Data Analyst?

AspectAi ProofData Analyst
Required CredentialsCertifications in AI, machine learning, or data scienceBachelor's or master's in data science, statistics, or related fields
Work EnvironmentTech companies, AI development firms, research labsBusiness, finance, healthcare, and other industries
Industry UsageDeveloping AI models to prevent bias or manipulationAnalyzing data to inform business decisions

Ai Proof specialists focus on creating systems resistant to AI manipulation, requiring expertise in AI and machine learning. Data Analysts interpret data to support decision-making, often with a background in statistics. While both roles involve data, Ai Proof emphasizes AI robustness, whereas Data Analysts focus on data interpretation.

More about Ai Proof jobs
What cities are hiring for Ai Proof jobs? Cities with the most Ai Proof job openings:
What states have the most Ai Proof jobs? States with the most job openings for Ai Proof jobs include:
What job categories do people searching Ai Proof jobs look for? The top searched job categories for Ai Proof jobs are:
Ai Proof jobs near you
Infographic showing various Ai Proof job openings in the United States as of July 2026, with employment types broken down into 73% Full Time, 24% Part Time, and 3% Contract. Highlights an 65% Physical, 3% Hybrid, and 32% Remote job distribution, with an average salary of $129,716 per year, or $62.4 per hour.

Mathematician - Formal Proof & AI Foundations (Remote Contract)

Alignerr

Remote

$170 - $200/hr

Contractor

Posted 9 days ago

Job description

Mathematician - Formal Proof & AI Foundations (Remote Contract)
About the Role
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.
This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. Brazil has a vibrant and growing mathematical community - if you live and breathe formal proof and know your way around Lean 4, this is a rare opportunity to contribute to frontier AI from anywhere in Brazil.
  • Organization
    : Alignerr
  • Type
    : Hourly Contract
  • Location
    : Remote
  • Commitment
    : 10-40 hours/week

What You'll Do
  • Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines
  • Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib
  • Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form
  • Audit and verify existing formal proofs for correctness, completeness, and logical integrity
  • Work at the frontier of AI research, helping train the next generation of mathematically capable language models

Who You Are
  • Hold a Master's degree or PhD in Mathematics or a closely related field
  • Possess a strong background in rigorous mathematical proof writing and logical reasoning
  • Have hands-on experience with formal proof assistants -
    Lean 4 strongly preferred
  • Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs
  • Self-motivated and comfortable working independently in a remote, asynchronous environment

Nice to Have
  • Prior experience with proof verification, theorem proving, or mathematical formalization projects
  • Familiarity with mathlib or other large-scale formal mathematical libraries
  • Background in data annotation, data quality evaluation, or AI training workflows
  • Experience across multiple mathematical domains - topology, algebra, analysis, logic, and beyond

Why Join Us
  • Work on frontier AI research alongside the world's leading AI labs and research teams
  • Fully remote and flexible - structure your work around your life, not the other way around
  • Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
  • Contribute directly to formal mathematical libraries that will outlast any single project
  • Gain rare exposure to how cutting-edge large language models are built and trained
  • Potential for ongoing work and contract extension as new projects launch

Apply