... graduate-level textbooks and research across mathematical disciplines * Contribute to the ... Freelance autonomy with the depth and substance of genuinely challenging mathematical work * Make a ...
... graduate-level textbooks and research across mathematical disciplines * Contribute to the ... Freelance autonomy with the depth and substance of genuinely challenging mathematical work * Make a ...
This is a freelance position. To apply, scroll to the end and attach your resume and task. DETAILED ... Going through Telugu Math textbooks to highlight any modifications needed before localisation.
This is a freelance position. To apply, scroll to the end and attach your resume and task. DETAILED ... Going through Telugu Math textbooks to highlight any modifications needed before localisation.
This is a freelance position. To apply, scroll to the end and attach your resume and task. DETAILED ... Going through Telugu Math textbooks to highlight any modifications needed before localisation.
This is a freelance position. To apply, scroll to the end and attach your resume and task. DETAILED ... Going through Telugu Math textbooks to highlight any modifications needed before localisation.
Mathematical Formalization Specialist
Seattle, WA · Remote
$19.25 - $24/hr
Formalize classical proofs and compare machine-verifiable structures against standard textbook ... Freelance autonomy with the structure of meaningful, intellectually stimulating tasks * Contribute ...
Mathematical Formalization Specialist
Seattle, WA · Remote
$19.25 - $24/hr
Formalize classical proofs and compare machine-verifiable structures against standard textbook ... Freelance autonomy with the structure of meaningful, intellectually stimulating tasks * Contribute ...
Mathematical Formalization Specialist
Chicago, IL · Remote
$17.50 - $21.75/hr
Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the depth and challenge of genuinely frontier-level mathematical work
Mathematical Formalization Specialist
Chicago, IL · Remote
$17.50 - $21.75/hr
Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the depth and challenge of genuinely frontier-level mathematical work
Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the structure of meaningful, intellectually stimulating work * Get direct ...
Formalize classical proofs and compare machine-verifiable structures against textbook arguments ... Freelance autonomy with the structure of meaningful, intellectually stimulating work * Get direct ...
Your current location will influence whether we are able to offer you part-time or freelance work ... textbooks, and online learning systems. While our primary focus has been math for most of our ...
Quick apply
Your current location will influence whether we are able to offer you part-time or freelance work ... textbooks, and online learning systems. While our primary focus has been math for most of our ...
This is a fully remote, flexible contract role for mathematicians who love rigorous proof ... Formalize classical proofs and compare machine-verifiable structures against textbook arguments
This is a fully remote, flexible contract role for mathematicians who love rigorous proof ... Formalize classical proofs and compare machine-verifiable structures against textbook arguments
We're seeking a language expert to support our Math and Science offering in multiple Indian ... Going through Telugu Science textbooks to highlight any modifications needed before localisation.
We're seeking a language expert to support our Math and Science offering in multiple Indian ... Going through Telugu Science textbooks to highlight any modifications needed before localisation.
Freelance Math Textbook information
See salary details
$22.5K - $29K
2% of jobs
$29K - $35.6K
9% of jobs
$35.6K - $42.1K
11% of jobs
$45K is the 25th percentile. Wages below this are outliers.
$42.1K - $48.7K
9% of jobs
$48.7K - $55.2K
13% of jobs
The median wage is $57.4K / yr.
$55.2K - $61.8K
22% of jobs
$67K is the 75th percentile. Wages above this are outliers.
$61.8K - $68.3K
13% of jobs
$68.3K - $74.9K
9% of jobs
$74.9K - $81.4K
6% of jobs
$81.4K - $88K
5% of jobs
$88K - $94.5K
2% of jobs
$22.5K
$58.8K
$94.5K
How much do freelance math textbook jobs pay per year?
As of Jun 4, 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.
How can I make 2000 a week working from home?
A freelance math textbook author can earn $2000 a week by creating high-quality educational content, such as textbooks or online courses, and selling them through platforms like Amazon or educational websites. Success depends on strong math skills, content marketing, and building a reputation among students and educators. Consistent effort and effective promotion are essential to reach this income level.
What is the difference between Freelance Math Textbook vs Math Tutor?
| Aspect | Freelance Math Textbook | Math Tutor |
|---|---|---|
| Credentials | Subject expertise, possibly a degree in mathematics | Teaching certification or experience preferred |
| Work Environment | Self-employed, remote or freelance projects | In-person or online sessions with students |
| Employer/Industry Usage | Educational publishers, freelance platforms | Schools, tutoring centers, private clients |
| Search/Comparison Intent | Creating or editing math textbooks | Providing 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.
More about Freelance Math Textbook jobs
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:
Full-time
This job post has expired today. Applications are no longer accepted.
Job description
Mathematician (Foundations / Formalization) About the Role What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models learn from - formalizing advanced mathematical arguments in Lean 4 and contributing to large-scale proof libraries like mathlib. This is a fully remote, flexible contract role for mathematicians who love working at the intersection of pure mathematics, logic, and formal systems.
- Organization : Alignerr
- Type : Hourly Contract
- Location : Remote
- Commitment : 10-40 hours/week
- Formalize advanced mathematical arguments and theorems within Lean 4, drawing from graduate-level textbooks and research across mathematical disciplines
- Contribute to the development and quality of large-scale formal mathematical libraries, including mathlib, through clean and readable proof construction
- Audit and verify existing formal proofs for correctness, clarity, and mathematical soundness
- Translate informal mathematical reasoning into structured, machine-checkable formal proofs
- Work independently and asynchronously - fully on your own schedule
- Hold a Master's degree or PhD in Mathematics or a closely related field
- Experienced in rigorous proof writing and formal mathematical reasoning
- Proficient with formal proof assistants - Lean 4 strongly preferred
- Able to bridge the gap between informal mathematical intuition and structured formal systems
- Detail-oriented and precise - you care about getting every step exactly right
- Self-motivated and comfortable working independently without close supervision
- Prior experience with proof verification, theorem proving, or formalization projects
- Familiarity with mathlib or other large-scale formal mathematical libraries
- Background in data annotation, data quality evaluation, or formal systems research
- Experience with other proof assistants such as Coq, Isabelle, or Agda
- Work on frontier AI projects alongside world-leading research labs
- Fully remote and flexible - structure your hours around your life
- Freelance autonomy with the depth and substance of genuinely challenging mathematical work
- Make a direct, lasting contribution to how AI reasons about mathematics at a foundational level
- Potential for ongoing work and contract extension as new projects launch