Researcher/Engineer (Formal Verification)

Remote (Global)
Ethereum Foundation – Protocol Snarkification /
Full-time /
Remote

Submit your application

  • File exceeds the maximum upload size of 100MB. Please try a smaller size.

Links

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?