Top 782 Convergence Project Jobs

Pure Mathematics Specialist – Freelance AI Trainer Project
Meridial —Remote
- $35 - $65 an hour
- Remote
- Doctor of Philosophy
- Math
- Senior level
Freelance Project Manager, Creative Ops
Complex —New York, NY
- $60 - $65 an hour
- Mid-level
- US work authorization
- 2 years
Project Manager
healthybaby —New York, NY
- $70,000 - $90,000 a year
- Full-time
- Hybrid work
- Google Workspace
- Marketing
- 5 years
Lab Operations Specialist
Vivodyne —Philadelphia, PA
- $70,000 - $110,000 a year
- Bachelor of Science
- Mid-level
- Analysis skills
Postdoctoral Scholar - Psychology
Tufts University —Medford, MA
- $65,000 - $75,000 a year
- Analysis skills
- University
- Education
Junior Designer - Core Brand
Complex —New York, NY
- $65,000 - $70,000 a year
- Full-time
- US work authorization
- Experience equivalent to degree accepted
- 1 year
- Commuter assistance
- Paid parental leave
Project Manager, Risk Americas
Daikin Comfort Technologies —Waller, TX
- Remote
- 11+ years
- Office
- Bachelor's degree
Quick Apply
Task Order Project Manager
Sentar —Remote
- Monday to Friday
- Remote
- 5 years
- Bachelor of Science
- In-person
- Disability insurance
- Dental insurance
Postdoctoral Fellow - Hyun Jung Kim Lab
Cleveland Clinic —Cleveland, OH
- $31,200 - $95,000 a year
- Full-time
- Medicine
- English
- Doctor of Philosophy
- Dental insurance
- Vision insurance
Research and Policy Analyst
The Center for Global Health and Development —Remote
- $26 - $30 an hour
- Full-time
- Remote
- Finance
- Analysis skills
- Bachelor's degree
Quick Apply
2d
Staff Engineer, CAE Simulation and Analysis
Bergstrom Inc —Rockford, IL
- $80,000 - $120,000 a year
- Full-time
- 5 years
- Engineering
- Master's degree
- Health insurance
- Dental insurance
Quick Apply
Sentinel CFD Aeronautical/Principal Aeronautical Engineer - 18627
Northrop Grumman —Roy, UT
- $79,300 - $147,600 a year
- Overtime
- Data analysis skills
- Windows
- Master's degree
- Paid holidays
- Disability insurance
8d
Sentinel CFD Aeronautical Engineer - 18628
Northrop Grumman —Roy, UT
- $79,300 - $118,900 a year
- Overtime
- Data analysis skills
- Windows
- Databases
- Paid holidays
- Disability insurance
8d
Communications Associate
The Aspen Institute —Washington, DC
- $60,000 - $68,000 a year
- Nights as needed
- Mid-level
- Travel
- 1 year
- Health insurance
- Dental insurance
Project Circular Economy – Dealer Part Return Repair/Reuse Management
Altair Engineering —Detroit, MI
- Contract
- Mid-level
- Paid time off
- 401(k) matching
Program/Operational Project Manager (contingent 034)
Systems Products and Solutions, Inc —Fort Belvoir, VA
- Bachelor's degree
- IT
- Senior level
Quick Apply
Associate Director, Medical Programs
Nucs AI —Boston, MA
- Full-time
- Hybrid work
- 5 years
- Master's degree
- Bachelor's degree
Quick Apply
Specialist, Abstracts & Submissions
AMERICAN COLLEGE OF RHEUMATOLOGY —Remote
- From $62,300 a year
- Weekends as needed
- Microsoft Excel
- Microsoft Outlook
- Bachelor of Science
Quick Apply
Senior Director, Project & Portfolio Management
insitro —South San Francisco, CA
- $264,000 - $298,000 a year
- Full-time
- Hybrid work
- Bachelor of Science
- 11+ years
- Office
- Paid parental leave
- Health insurance
3GPP RAN1 Researcher
Altair Engineering —Mountain View, CA
- $153,000 - $157,000 a year
- Contract
- Computer Science
- Doctor of Philosophy
- Travel
- Paid time off
- 401(k) matching

I want to receive the latest job alert for Convergence Project

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Pure Mathematics Specialist – Freelance AI Trainer Project

Meridial
Remote

Apply Now

Job Details

Freelance
$35 - $65 an hour

Qualifications

Programming languages

Full Job Description

Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow's AI can better understand abstraction, logic, measure theory, homotopy, and the deep structures of modern mathematics. That training data begins with you - your insight will help power the next generation of AI.

We're looking for specialists with deep foundations in pure mathematics who can engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory. Coupled with this deep foundation, we need each expert to have a normalized fluency in Lean 4, the proof assistant and programming language.

On a typical day, you will construct and evaluate complex proofs, substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures, and translate this material to successfully build in .lean syntax. You will also collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks, enhancing the overall quality of our operations.

Candidates fluent in Lean 4 with an in-progress or freshly earned PhD or current PostDoc experience in pure mathematics are ideal. A strong command of core areas is required, and applicants should be comfortable with topics such as Markov's and Chebyshev's inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen's theorem, the Yoneda embedding, and representability in cohomology. Clear, metacognitive communication (explicitly articulating reasoning and proof strategies) is essential.

Ready to turn your Lean 4 fluidity and pure math expertise into the reasoning backbone of tomorrow's AI? Apply today and help teach the model that will support researchers, scientists, and engineers around the world.

We offer a pay range of $35 to $65 per hour, with the exact rate determined after evaluating your experience, expertise, and geographic location. Final offer amounts may vary from the pay range listed above. As a contractor, you'll supply a secure computer and high-speed internet; company-sponsored benefits such as health insurance and PTO do not apply.

Job title: Pure Mathematics and Lean 4 Specialist – Freelance AI Trainer Project
Employment type: Contract
Workplace type: Remote

Apply Now

Refine Your Search

Convergence Project jobs

Pure Mathematics Specialist – Freelance AI Trainer Project

Freelance Project Manager, Creative Ops

Project Manager

Lab Operations Specialist

Postdoctoral Scholar - Psychology

Junior Designer - Core Brand

Project Manager, Risk Americas

Task Order Project Manager

Postdoctoral Fellow - Hyun Jung Kim Lab

Research and Policy Analyst

Staff Engineer, CAE Simulation and Analysis

Sentinel CFD Aeronautical/Principal Aeronautical Engineer - 18627

Sentinel CFD Aeronautical Engineer - 18628

Communications Associate

Project Circular Economy – Dealer Part Return Repair/Reuse Management

Program/Operational Project Manager (contingent 034)

Associate Director, Medical Programs

Specialist, Abstracts & Submissions

Senior Director, Project & Portfolio Management

3GPP RAN1 Researcher

I want to receive the latest job alert for Convergence Project

Related Searches

Explore jobs in more locations

Job Seeker Tools

Employer Tools

Browse

Stay Connected