Browse 1 exciting jobs hiring in Curry–howard now. Check out companies hiring such as Alignerr in New York, Grand Prairie, Grand Rapids.
An experienced mathematician/formalizer to convert informal mathematical arguments into rigorous Lean (and related) formal proofs, advancing mechanized mathematics and verification for AI workflows.
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|