Browse 1 exciting jobs hiring in Theoretical Computer Science now. Check out companies hiring such as Alignerr in Raleigh, Newark, Lexington-Fayette.
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
|