Mathlib Jobs
Browse 1 exciting jobs hiring in Mathlib now. Check out companies hiring such as Alignerr in Irving, Anchorage, Houston.
Posted 16 hours ago
An experienced mathematician/formalizer to convert informal mathematical arguments into rigorous Lean (and related) formal proofs, advancing mechanized mathematics and verification for AI workflows.
Employment type
Remote/Onsite
Application Type
Date Posted
Department
Work Experience
Industries
Skills
Company size
Funding
Company Culture
Benefits & Perks
Company Rating
Salary (USD)
Keywords to Exclude
How much do mathlib jobs pay?
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|
Top companies hiring for mathlib jobs
- Alignerr 1
Best cities to find mathlib jobs
ABOUT RISE
FOR COMPANIES
REMOTE JOBS & MORE
LOOKING FOR A JOB?
FIND A JOB NEAR ME
CONNECT
