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