Browse 2 exciting jobs hiring in Proof Engineering now. Check out companies hiring such as Alignerr, Jobgether in Irvine, Lubbock, Oceanside.
An experienced mathematician/formalizer to convert informal mathematical arguments into rigorous Lean (and related) formal proofs, advancing mechanized mathematics and verification for AI workflows.
The Solution Engineer will lead pre-sales technical engagements and proof-of-value activities, conveying complex IT and security solutions to diverse audiences to drive enterprise deployments.
Below 50k*
0
|
50k-100k*
0
|
Over 100k*
1
|