Nexus
…working alongside research and engineering teams.
Bonus Points
Research experience in formal verification for cryptographic or blockchain protocols.
Contributions to open-source formal verification tools.
Benefits
Competitive salary and generous equity…
To apply for this job please visit jooble.org.