Researcher/Engineer (Formal Verification)
Remote (Global)
Ethereum Foundation – Protocol Snarkification /
Full-time /
Remote
Submit your application
Resume/CV
✱
ATTACH RESUME/CV
Couldn't auto-read resume.
Analyzing resume...
Success!
File exceeds the maximum upload size of
100MB
. Please try a smaller size.
Full name
✱
Email
✱
Phone
Current location
No location found. Try entering a different location
Loading
Current company
Links
Twitter URL
GitHub URL
Other website
Linkedin URL
Lens URL
Farcaster URL
Other URL
The Protocol Snarkification team would like to get to know you better!
Why does Ethereum matter to you?
✱
What would you like to achieve at the Ethereum Foundation?
✱
Are there any recent developments in the world of formal verification and high assurance cryptography that you think are particularly interesting? Are there any particular unresolved issues (technical or not) that you think must be addressed?
✱
Additional information
Submit application