Remote Research Engineer - Formal Verification Cryptography
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.
Framework Ventures is seeking a Researcher/Engineer (Formal Verification) to work fully remote on cryptographic implementations for the Ethereum ecosystem. The ideal candidate will have a robust background in cryptography and formal verification tools like Lean, demonstrating effective communication and collaboration skills. The position offers flexibility in hours, with the potential for travel to related events. Join a dynamic team focused on the snarkification of Ethereum and contribute to high assurance cryptography methodologies.#J-18808-Ljbffr