Mathematical Formalization Jobs
Browse 1 exciting jobs hiring in Mathematical Formalization now. Check out companies hiring such as Alignerr in Worcester, New York, Oakland.
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 mathematical formalization jobs pay?
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|
Top companies hiring for mathematical formalization jobs
- Alignerr 1
Best cities to find mathematical formalization jobs
ABOUT RISE
FOR COMPANIES
REMOTE JOBS & MORE
LOOKING FOR A JOB?
FIND A JOB NEAR ME
CONNECT
