ZipRecruiter

Log In

1

Freelance Math Textbook Jobs (NOW HIRING)

Alignerr

$170 - $200/hr

Lean 4 Mathematical Formalization Expert $170-200/hr Remote Freelance STEM About the Role What if ... What You'll Do * Formalize mathematical content from natural language sources -- textbooks ...

Alignerr

$170 - $200/hr

Lean 4 Mathematical Formalization Expert $170-200/hr Remote Freelance STEM About the Role What if ... What You'll Do * Formalize mathematical content from natural language sources -- textbooks ...

All Jobsfreelance JobsEducation JobsFreelance Math Textbook Jobs

Freelance Math Textbook information

See salary details

$22.5K

$58.8K

$94.5K

How much do freelance math textbook jobs pay per year?

As of Sep 1, 2026, the average yearly pay for freelance math textbook in the United States is $58,837.00, according to ZipRecruiter salary data. Most workers in this role earn between $45,000.00 and $70,000.00 per year, depending on experience, location, and employer.

What is the difference between Freelance Math Textbook vs Math Tutor?

AspectFreelance Math TextbookMath Tutor
CredentialsSubject expertise, possibly a degree in mathematicsTeaching certification or experience preferred
Work EnvironmentSelf-employed, remote or freelance projectsIn-person or online sessions with students
Employer/Industry UsageEducational publishers, freelance platformsSchools, tutoring centers, private clients
Search/Comparison IntentCreating or editing math textbooksProviding personalized math instruction

Freelance Math Textbook involves creating or editing math textbooks, often working independently for publishers or clients. Math Tutors focus on delivering personalized instruction to students, either online or in person. While both roles require strong math skills, the main difference lies in their work environment and purpose: one produces educational content, the other provides direct teaching.

What cities are hiring for Freelance Math Textbook jobs?

Cities with the most Freelance Math Textbook job openings:

What are the most commonly searched types of Math Textbook jobs?

The most popular types of Math Textbook jobs are:

What states have the most Freelance Math Textbook jobs?

States with the most job openings for Freelance Math Textbook jobs include:

What job categories do people searching Freelance Math Textbook jobs look for?

The top searched job categories for Freelance Math Textbook jobs are:

Freelance Math Textbook jobs near you
Infographic showing various Freelance Math Textbook job openings in the United States as of August 2026, with employment types broken down into 72% Full Time, 26% Part Time, 1% Contract, and 1% Nights. Highlights an 97% Physical, and 3% Remote job distribution, with an average salary of $58,837 per year, or $28.3 per hour.

Lean 4 Mathematical Formalization Expert

Alignerr

Remote

$170 - $200/hr

Full-time

This job post has expired today. Applications are no longer accepted.

Job description

Lean 4 Mathematical Formalization Expert

$170-200/hr Remote Freelance STEM

About the Role

What if your deep expertise in formal mathematics could directly shape how AI reasons, proves, and verifies mathematical truths? We're looking for Lean 4 specialists to translate complex mathematical arguments into precise, machine-checked formalizations — working at the frontier where mathematics meets artificial intelligence.

This is a fully remote, flexible contract role built for mathematicians and formal verification experts who want to do genuinely challenging, high-impact work on their own schedule.

What You'll Do

  • Formalize mathematical content from natural language sources — textbooks, articles, and exercises — into valid, compilable Lean 4 code
  • Translate theorems, lemmas, propositions, and proofs into precise formal representations using Lean 4
  • Ensure formal code accurately captures the mathematical meaning and logical structure of the original statements
  • Review and validate Lean 4 formalizations for correctness, consistency, and logical soundness
  • Identify ambiguities, missing assumptions, or logical gaps in informal mathematical descriptions
  • Contribute to high-quality datasets pairing human-written mathematics with formal Lean 4 equivalents for AI training

Who You Are

  • Strong hands-on experience with Lean 4 — you write precise, correct, and maintainable code
  • Solid background in mathematics, formal logic, or formal verification
  • Comfortable reading advanced mathematical texts and translating them into formal systems
  • Exceptional attention to detail and a rigorous logical mindset
  • Interested in AI, automated reasoning, and the future of mathematical verification
  • Self-directed and reliable when working independently on complex, open-ended problems

Nice to Have

  • Experience with other theorem provers or formal systems (Coq, Isabelle, Agda, Metamath, etc.)
  • Prior involvement in AI training, expert annotation, or reasoning-focused datasets
  • Background in formal methods research or proof assistant development
  • Academic or professional experience in pure or applied mathematics

Why Join Us

  • Work on cutting-edge AI projects alongside leading research labs
  • Fully remote and flexible — work when and where it suits you
  • Freelance autonomy with the structure of clearly defined, meaningful tasks
  • High-impact work — your formalizations directly improve how AI models reason about mathematics
  • Top performers are invited to advanced tracks and extended contracts with greater scope and responsibility

Apply