JOBSEARCHER
OCCUPATIONS
INDUSTRIES
LOCATIONS
COMPANIES
OPTIONS
SIGN IN
KEYWORDS
LOCATIONS
EXACT
NEARBY
Advanced search
1
SEARCH
10,000+
Mathematicians jobs at Alignerr
in last 30 days
Show all >
Save
60
Mathematicians jobs at Alignerr
in last 30 days
Show all >
Save
Filter
<
Date
Last 30 days
Mathematics Expert for AI Reasoning Training
APPLY
Alignerr
New York, NY
June 11th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics AI Researcher (PhD/MS)
APPLY
Alignerr
East Boston, MA
Remote
June 11th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics Expert for AI Reasoning
APPLY
Alignerr
Remote
May 29th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Formal Verification Scientist (Lean 4 & Mathlib)
APPLY
Alignerr
New York, NY
May 25th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Math Researcher — AI Reasoning & Evaluation
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Remote Lean 4 Proof Architect
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Reasoning
APPLY
Alignerr
Prescott, AZ
Remote
June 2nd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Proof Engineer: Formalize Math for AI (21)
APPLY
Alignerr
Aberdeen, MD
Remote
June 3rd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Reasoning (28)
APPLY
Alignerr
Albemarle, NC
Remote
June 3rd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics Expert for AI Training
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean Proof Architect for AI Reasoning
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Reasoning & Evaluation
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Methods Researcher
APPLY
Alignerr
Seattle, WA
Remote
June 5th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Formal Methods Researcher - Flexible Contract
APPLY
Alignerr
New York, NY
Remote
June 7th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Applied Formal Methods Researcher (Lean 4)
APPLY
Alignerr
New York, NY
June 7th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Proof Engineer: Formalize Math for AI
APPLY
Alignerr
Prescott, AZ
Remote
June 2nd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Math Researcher for AI Reasoning
APPLY
Alignerr
New York, NY
Remote
June 20th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Remote Math Specialist for AI Training (PhD/MS)
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
AI Reasoning Mathematician — Remote & Flexible Contract
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Proof Scientist (Mathlib)
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote PhD Mathematician for AI Data & Curriculum
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematician: Lean 4 Formalization & Proofs
APPLY
Alignerr
New York, NY
Remote
May 26th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Reasoning & Evaluation
APPLY
Alignerr
New York, NY
Remote
May 25th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
Miami Springs, FL
May 28th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote AI Math Reasoning Specialist (Contract)
APPLY
Alignerr
New York, NY
Remote
May 23rd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote PhD Mathematician for AI Data & Curriculum
APPLY
Alignerr
New York, NY
Remote
May 23rd, 2026
Mathematicians
Software Publishers
Show all >
Remote Lean 4 & Mathlib Formalization Scientist
APPLY
Alignerr
Seattle, WA
Remote
May 23rd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote AI Math Reasoning Specialist
APPLY
Alignerr
Seattle, WA
Remote
June 1st, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Proof Engineer: Formalize Math for AI
APPLY
Alignerr
Remote
May 29th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
New York, NY
May 29th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Proof Engineer: Formalize Math for AI
APPLY
Alignerr
New York, NY
Remote
May 29th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Reasoning
APPLY
Alignerr
New York, NY
Remote
May 29th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Formalization Expert - Remote
APPLY
Alignerr
New York, NY
Remote
June 5th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Math Researcher for AI Reasoning (Masters/PhD)
APPLY
Alignerr
Seattle, WA
Remote
May 31st, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics Expert for AI Reasoning (21)
APPLY
Alignerr
Aberdeen, MD
Remote
June 3rd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote AI Mathematics Specialist — Problem Solving & Evaluation
APPLY
Alignerr
New York, NY
Remote
June 4th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote AI Mathematics Specialist — Problem Solving & Evaluation
APPLY
Alignerr
Remote
June 4th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics Expert for AI Reasoning
APPLY
Alignerr
Denver, CO
Remote
June 2nd, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Mathematical Formalization Specialist
APPLY
Alignerr
Ny, WAL
June 3rd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
1
2