Mathematician - Formal Proof & AI Research (Remote Contract) About the Role What if your deep ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
Mathematician - Formal Proof & AI Research (Remote Contract) About the Role What if your deep ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
This is a fully remote, flexible contract role working at the intersection of pure mathematics ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
This is a fully remote, flexible contract role working at the intersection of pure mathematics ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
Math Instructor (FT) Remote - TX
Houston, TX · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - TX
Houston, TX · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Math Instructor (FT) Remote - SC
Columbia, SC · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - SC
Columbia, SC · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Mathematician - Proof Formalization & AI Research (Remote Contract) About the Role What if your ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
Mathematician - Proof Formalization & AI Research (Remote Contract) About the Role What if your ... Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have ...
Math Instructor (FT) Remote - TX
Houston, TX · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - TX
Houston, TX · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - KS
Wichita, KS · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - KS
Wichita, KS · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - ND
Fargo, ND · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - ND
Fargo, ND · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - KS
Wichita, KS · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - KS
Wichita, KS · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Math Instructor (FT) Remote - TX
Dallas, TX · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - TX
Dallas, TX · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
STEM Expert - Fully Remote
New York, NY · Remote
$70 - $100/hr
Design challenging, rigorous domain tasks and write accurate, well-reasoned solutions that ... Mathematics , Statistics , Computer Science , Electrical Engineering , Mechanical Engineering ...
Quick apply
STEM Expert - Fully Remote
New York, NY · Remote
$70 - $100/hr
Design challenging, rigorous domain tasks and write accurate, well-reasoned solutions that ... Mathematics , Statistics , Computer Science , Electrical Engineering , Mechanical Engineering ...
Math Instructor (FT) Remote - AL
Tuscaloosa, AL · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - AL
Tuscaloosa, AL · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Math Instructor (FT) Remote - NC
Charlotte, NC · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - NC
Charlotte, NC · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - TX
Dallas, TX · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - TX
Dallas, TX · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Math Instructor (FT) Remote - OH
Columbus, OH · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - OH
Columbus, OH · On-site +1
$21 - $24/hr
... writing and reading skills in the long term-not just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small "core" groups of students in their ...
Math Instructor (FT) Remote - SC
Columbia, SC · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - SC
Columbia, SC · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
From bringing lectures vividly to life to turning textbooks into laptop lessons, we are always ... Excellent verbal and written communication skills * Excellent attention to detail and strong time ...
From bringing lectures vividly to life to turning textbooks into laptop lessons, we are always ... Excellent verbal and written communication skills * Excellent attention to detail and strong time ...
Math Instructor (FT) Remote - ND
Fargo, ND · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - ND
Fargo, ND · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Math Instructor (FT) Remote - OH
Columbus, OH · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
Quick apply
Math Instructor (FT) Remote - OH
Columbus, OH · Remote
$21 - $24/hr
... writing and reading skills in the long termnot just for the SAT or ACT, but for high school ... As a Math Instructor, you will be expected to: * Instruct small core groups of students in their ...
From bringing lectures vividly to life to turning textbooks into laptop lessons, we are always ... Excellent verbal and written communication skills * Excellent attention to detail and strong time ...
From bringing lectures vividly to life to turning textbooks into laptop lessons, we are always ... Excellent verbal and written communication skills * Excellent attention to detail and strong time ...
Remote Math Textbook Writing 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 remote math textbook writing jobs pay per year?
What is the difference between Remote Math Textbook Writing vs Remote Math Content Development?
| Aspect | Remote Math Textbook Writing | Remote Math Content Development |
|---|---|---|
| Credentials | Typically requires a degree in mathematics or education | Often requires similar credentials, with additional skills in multimedia or digital content |
| Work Environment | Primarily independent, focused on writing and research | Includes collaboration with multimedia teams, software developers, or publishers |
| Employer & Industry Usage | Used by educational publishers, universities, and online learning platforms | Used by edtech companies, online course providers, and publishers |
| Search & Comparison Intent | Focuses on textbook creation, curriculum design, and academic writing | Centers on digital content, interactive materials, and multimedia integration |
Remote Math Textbook Writing primarily involves creating traditional textbooks and curriculum materials, while Remote Math Content Development focuses on producing digital, interactive, and multimedia math content. Both roles require strong math credentials but differ in their scope and tools used.
What are the key skills and qualifications needed to thrive as a Remote Math Textbook Writer, and why are they important?
How do remote math textbook writers typically collaborate with editors and subject matter experts during the content development process?
What is remote math textbook writing?

$170 - $200/hr
Contractor
Posted 14 days ago
Job description
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. The Netherlands has one of Europe's strongest traditions in mathematical logic and formal systems - if you know your way around Lean 4 and want to do deeply meaningful work, this opportunity is for you.
- 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