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 tech company specializing in formal verification is seeking a Lean 4 Proof Engineer to translate mathematical proofs into machine-verifiable formalizations. The role is remote and flexible, requiring a master’s degree in mathematics or a related field, alongside strong proof writing skills and experience with formal proof systems like Lean. You will work on cutting-edge AI projects and have the potential for contract extension, enjoying competitive pay and collaborative work environments.
#J-18808-Ljbffr