Researcher/Engineer (Formal Verification) – Remote (Global)

Role summaryAs a member of the Protocol Snarkification, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their imple .. [more info]