Remote Lean 4 Proof Engineer: Formalization & Verification
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
A leading tech company in Chicago is seeking a Lean 4 Proof Engineer specializing in mathematical formalization. The candidate should hold a Master's degree in Mathematics and have hands-on experience with proof assistants like Lean. This role involves translating informal proofs into formal structures and collaborating with researchers on advanced AI projects. Benefits include competitive pay, flexible remote work, and the opportunity to work with cutting-edge technology in a stimulating environment.
#J-18808-Ljbffr