Brazil has a vibrant and growing mathematical community - if you live and breathe formal proof and ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Brazil has a vibrant and growing mathematical community - if you live and breathe formal proof and ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of ... Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
Brand Design Lead
New York, NY · On-site
$200K - $270K/yr
AI-native, durable model: Our business becomes stronger as AI improves, as every new doctor ... Source, brief, and direct agencies, freelancers, studios, and production partners while maintaining ...
Brand Design Lead
New York, NY · On-site
$200K - $270K/yr
AI-native, durable model: Our business becomes stronger as AI improves, as every new doctor ... Source, brief, and direct agencies, freelancers, studios, and production partners while maintaining ...
Sr. Embedded Software Engineer - Digital Signal Processing
Alameda, CA · On-site
$100K - $200K/yr
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
Sr. Embedded Software Engineer - Digital Signal Processing
Alameda, CA · On-site
$100K - $200K/yr
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
Sr. Embedded Software Engineer - Digital Signal Processing
Alameda, CA · On-site
$100K - $200K/yr
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
Sr. Embedded Software Engineer - Digital Signal Processing
Alameda, CA · On-site
$100K - $200K/yr
Bachelor's degree in a technical field (Science, Technology, Engineering, or Mathematics) and 7+ ... C, C++, structured software development and/or Object Modeling Design, digital data processing ...
... store, modeling best-in-class service, client engagement, and team support. Freelance Talent ... Strong business acumen, retail math skills, and data analysis capabilities. * Skilled in building ...
... store, modeling best-in-class service, client engagement, and team support. Freelance Talent ... Strong business acumen, retail math skills, and data analysis capabilities. * Skilled in building ...
... store, modeling best-in-class service, client engagement, and team support. Freelance Talent ... Strong business acumen, retail math skills, and data analysis capabilities. * Skilled in building ...
... store, modeling best-in-class service, client engagement, and team support. Freelance Talent ... Strong business acumen, retail math skills, and data analysis capabilities. * Skilled in building ...
Associate Director, Audience Solutions Group
Atlanta, GA · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Atlanta, GA · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Atlanta, GA · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Atlanta, GA · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Associate Director, Audience Solutions Group
Manhattan, NY · On-site
$112K - $148K/yr
Build advanced ML models (Classification, Continuous, Clustering etc) to help run optimized media ... S., preferably in Marketing, Advertising, Computer Science, Mathematics, Engineering or Data ...
Special Education Teacher
$45K - $60K/yr
Experience supporting students in a resource/pull-out model preferred. * Strong communication ... All freelancers will be paid as W2 employees. * * Onward Search offers medical, dental, vision ...
Special Education Teacher
$45K - $60K/yr
Experience supporting students in a resource/pull-out model preferred. * Strong communication ... All freelancers will be paid as W2 employees. * * Onward Search offers medical, dental, vision ...
Data Scientist
Manhattan, NY · On-site
$72K - $109K/yr
We build inferential and predictive models, including machine learning algorithms and AI; we ... A Bachelor's or Master's degree in a quantitative field such as statistics, mathematics ...
Data Scientist
Manhattan, NY · On-site
$72K - $109K/yr
We build inferential and predictive models, including machine learning algorithms and AI; we ... A Bachelor's or Master's degree in a quantitative field such as statistics, mathematics ...
Data Scientist
$72K - $109K/yr
We build inferential and predictive models, including machine learning algorithms and AI; we ... A Bachelor's or Master's degree in a quantitative field such as statistics, mathematics ...
Data Scientist
$72K - $109K/yr
We build inferential and predictive models, including machine learning algorithms and AI; we ... A Bachelor's or Master's degree in a quantitative field such as statistics, mathematics ...
Vice President, Media Analytics
Chicago, IL · On-site
$168.15 - $241.60/hr
Manage client data ingestion for advanced attribution and modeling * Build strong relationships ... Strong math and analytical skills * Advanced MS Office skills (MS Word, Excel, PowerPoint)
Vice President, Media Analytics
Chicago, IL · On-site
$168.15 - $241.60/hr
Manage client data ingestion for advanced attribution and modeling * Build strong relationships ... Strong math and analytical skills * Advanced MS Office skills (MS Word, Excel, PowerPoint)
Freelance Mathematical Modeling information
See salary details
$23.52 is the 25th percentile. Wages below this are outliers.
$14.90 - $25.57
31% of jobs
The median wage is $32.14 / hr.
$25.57 - $36.23
31% of jobs
$36.23 - $46.90
4% of jobs
$56.23 is the 75th percentile. Wages above this are outliers.
$46.90 - $57.56
10% of jobs
$57.56 - $68.23
9% of jobs
$68.23 - $78.89
5% of jobs
$78.89 - $89.55
0% of jobs
$89.55 - $100.22
8% of jobs
$100.22 - $110.88
0% of jobs
$110.88 - $121.55
0% of jobs
$121.55 - $132.21
1% of jobs
$14
$47
$132
How much do freelance mathematical modeling jobs pay per hour?
What is freelance mathematical modeling?
What are the typical challenges faced by freelance mathematical modeling professionals when managing multiple projects?
What are the key skills and qualifications needed to thrive as a Freelance Mathematical Modeler, and why are they important?
What is the difference between Freelance Mathematical Modeling vs Data Scientist?
| Aspect | Freelance Mathematical Modeling | Data Scientist |
|---|---|---|
| Credentials | Mathematical, statistical, or engineering degrees; often self-taught skills | Degree in computer science, statistics, or related fields; certifications like SAS, Python, R |
| Work Environment | Independent, remote, project-based | Corporate, research labs, or consulting firms; often team-based |
| Industry Usage | Consulting, research, specialized projects | Tech, finance, healthcare, e-commerce |
| Search & Comparison Intent | Project-based, specialized modeling tasks | Data analysis, predictive modeling, machine learning |
Freelance Mathematical Modeling involves independent, project-specific work focusing on creating mathematical representations. Data Scientists typically work within organizations, applying statistical and machine learning techniques to analyze data. Both roles require strong analytical skills, but Freelance Mathematical Modeling emphasizes independent consulting, while Data Scientists often work as part of a team in corporate settings.

$170 - $200/hr
Contractor
Posted 9 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. 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