JOBSEARCHER
OCCUPATIONS
INDUSTRIES
LOCATIONS
COMPANIES
SENIORITY
EXPLORE
SIGN IN
KEYWORDS
LOCATIONS
EXACT
NEARBY
Advanced search
1
SEARCH
10,000+
Mathematicians
jobs
at
Alignerr
for all time
Save
323
Mathematicians
jobs
at
Alignerr
for all time
Save
Filter
<
Date
All time
Remote Lean 4 Formalization Expert for AI Training
NEXT STEPS
Alignerr
Remote
L5 Senior
May 8th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Proof Architect for AI
NEXT STEPS
Alignerr
Remote
L5 Senior
May 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Mathematician - Foundations & Formalization
NEXT STEPS
Alignerr
New York, NY
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Research | PhD/Masters
NEXT STEPS
Alignerr
Seattle, WA
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Mathematical Formalization Specialist
NEXT STEPS
Alignerr
Bremen, IN
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Model Training
NEXT STEPS
Alignerr
Seattle, WA
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Mathematics Specialist (Masters/PhDs)
NEXT STEPS
Alignerr
Millbrae, CA
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Proof Engineer: Formalization & Verification
NEXT STEPS
Alignerr
Denver, CO
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote AI Math Researcher (PhD/MS)
NEXT STEPS
Alignerr
Bremen, IN
Remote
L5 Senior
April 9th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Remote Lean 4 Formal Methods Researcher (Contract)
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Methods Researcher Proofs for AI
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Other Scientific and Technical Consulting Services
Show all >
Remote Mathematics Expert for AI Research | PhD/Masters
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Proof Engineer - Formalization Specialist
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean Proof Architect
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Mathematics Expert for AI Research
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Math Expert for AI Research & Modeling
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean 4 Mathematician - Foundations & Formalization
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote AI Math Researcher (PhD/MS)
NEXT STEPS
Alignerr
New Bremen, OH
Remote
L5 Senior
April 9th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Remote Mathematician for AI Research & Model Reasoning
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Researcher: Lean 4 & Formal Proofs
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Math Research Scientist (PhD/Master) – AI Modeling
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote AI Math Researcher — Advanced Problem Solving
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Foundations Mathematician – Remote
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Verification Scientist
NEXT STEPS
Alignerr
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Lean 4 Foundations Mathematician - Remote
NEXT STEPS
Alignerr
New York, NY
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
AI Math Researcher — Remote Contract
NEXT STEPS
Alignerr
Remote
L5 Senior
May 4th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Math Researcher for AI Training (Remote, Flexible)
NEXT STEPS
Alignerr
Remote
L5 Senior
April 18th, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Remote Mathematics Researcher for AI Reasoning
NEXT STEPS
Alignerr
Remote
L5 Senior
April 21st, 2026
Mathematicians
Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Show all >
Mathematics Expert for AI Reasoning Training
NEXT STEPS
Alignerr
New York, NY
L5 Senior
June 11th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics AI Researcher (PhD/MS)
NEXT STEPS
Alignerr
East Boston, MA
Remote
L5 Senior
June 11th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Mathematics Specialist for AI Reasoning (Contract)
NEXT STEPS
Alignerr
Seattle, WA
Remote
L5 Senior
June 15th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Remote Lean Proof Architect for AI Reasoning
NEXT STEPS
Alignerr
Austin, CO
Remote
L6 Lead
June 15th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formalization Researcher
APPLY
Alignerr
Charlotte, AR
Remote
L5 Senior
June 15th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Lean Proof Architect
NEXT STEPS
Alignerr
Bremen, IN
L6 Lead
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Methods Researcher
NEXT STEPS
Alignerr
Doral, FL
Remote
L5 Senior
April 9th, 2026
Mathematicians
Research and Development in the Social Sciences and Humanities
Show all >
Remote Lean 4 Formal Methods Researcher Proofs for AI
NEXT STEPS
Alignerr
Doral, FL
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Methods Researcher Proofs for AI
NEXT STEPS
Alignerr
East Boston, MA
Remote
L5 Senior
April 9th, 2026
Mathematicians
Other Scientific and Technical Consulting Services
Show all >
Mathematics Expert (Masters/PhDs)
NEXT STEPS
Alignerr
Aberdeen, MD
L5 Senior
June 17th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Researcher - Lean 4 & Formal Proof Systems
NEXT STEPS
Alignerr
Miami Springs, FL
L5 Senior
April 10th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Researcher: Lean 4 & Formal Proofs
NEXT STEPS
Alignerr
Miami, FL
Remote
L5 Senior
April 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
1
2
3
4
9