ZipRecruiter

Log In

1

Freelance Math Textbook Publishers 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

$15.75 - $19.50/hr

Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the structure of meaningful, intellectually rigorous work * Contribute ...

Alignerr

$15.75 - $19.50/hr

Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the structure of meaningful, intellectually rigorous work * Contribute ...

EBSCO Information Services

Warehouse Worker

Alabaster, AL

$13.50 - $16.50/hr

Publishers' Warehouse, Alabama's trusted textbook depository for K-12 schools, has proudly served ... Good communication, organizational, time management and mathematical skills Essential Job Function ...

EBSCO Industries Inc

Warehouse Worker

Alabaster, AL

$13.50 - $16.50/hr

Publishers' Warehouse, Alabama's trusted textbook depository for K-12 schools, has proudly served ... and mathematical skills Essential Job Function • The ability to perform work while standing ...

EBSCO Industries, Inc.

Warehouse Worker

Alabaster, AL · On-site

$13.50 - $16.50/hr

Publishers' Warehouse, Alabama's trusted textbook depository for K-12 schools, has proudly served ... and mathematical skills Essential Job Function • The ability to perform work while standing ...

Jefferson College

Adjunct - Mathematics

Hillsboro, MO · On-site

$690/day

... publisher, date of publication and list price, if known, of all textbooks, required readings ... Math, Physics, and Technology Wage/Salary $690 per credit hour to start Status Part-time If ...

previous pagenext page

Showing results 21-40

All JobsMath Textbook Publishers JobsFreelance Math Textbook Publishers Jobs

Freelance Math Textbook Publishers information

See salary details

$29

$62

$71

How much do freelance math textbook publishers jobs pay per hour?

As of Aug 14, 2026, the average hourly pay for freelance math textbook publishers in the United States is $62.54, according to ZipRecruiter salary data. Most workers in this role earn between $60.34 and $68.27 per hour, depending on experience, location, and employer.

What cities are hiring for Freelance Math Textbook Publishers jobs?

Cities with the most Freelance Math Textbook Publishers job openings:

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

The most popular types of Math Textbook Publishers jobs are:

What states have the most Freelance Math Textbook Publishers jobs?

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

Freelance Math Textbook Publishers jobs near you

Lean 4 Mathematical Formalization Expert

Alignerr

Remote

$170 - $200/hr

Full-time

Posted 6 days ago

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