JOBSEARCHER
OCCUPATIONS
INDUSTRIES
LOCATIONS
COMPANIES
SENIORITY
EXPLORE
SIGN IN
KEYWORDS
LOCATIONS
EXACT
NEARBY
Advanced search
1
SEARCH
10,000+
Mathematicians
jobs
at
Alignerr
in last 30 days
Show all >
Save
8
Mathematicians
jobs
at
Alignerr
in last 30 days
Show all >
Save
Filter
<
Date
Last 30 days
Mathematical Formalization Specialist - Remote
APPLY
Alignerr
Denver, CO
Remote
L5 Senior
September 12th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Mathematician - Foundations & Formalization (AI Research Contract)
APPLY
Alignerr
Denver, CO
L5 Senior
September 22nd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Formal Verification Scientist (Contract)
APPLY
Alignerr
Charlotte, AR
Remote
L4 Mid
September 16th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Mathematician - Formal Proof & AI Foundations (Remote Contract)
APPLY
Alignerr
Denver, CO
Remote
L5 Senior
September 17th, 2026
Mathematicians
All Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Mathematical Formalization Expert
APPLY
Alignerr
Denver, CO
L5 Senior
August 30th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Mathematician (Foundations / Formalization)
APPLY
Alignerr
Denver, CO
L5 Senior
September 9th, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Mathematician - Formal Proof & AI Research (Remote Contract)
APPLY
Alignerr
Denver, CO
Remote
L5 Senior
September 22nd, 2026
Mathematicians
Custom Computer Programming Services
Show all >
Remote Lean 4 Researcher — Formal Proof Systems
APPLY
Alignerr
Charlotte, AR
Remote
L4 Mid
September 6th, 2026
Computer and Information Research Scientists
Custom Computer Programming Services
Show all >