Type Theory Jobs
Browse 1 exciting jobs hiring in Type Theory now. Check out companies hiring such as Alignerr in St. Paul, Laredo, Nashville-Davidson.
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 type theory jobs pay?
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|
Top companies hiring for type theory jobs
- Alignerr 1
Best cities to find type theory jobs
ABOUT RISE
FOR COMPANIES
REMOTE JOBS & MORE
LOOKING FOR A JOB?
FIND A JOB NEAR ME
CONNECT
