We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to apply for this job!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Engineers who find a new job through Blockchain Works average a 15% increase in salary 🚀

Cryptium Labs

Zero-Knowledge Cryptographer & Protocol Developer

Remote 🙌

20 August, 2019

Salary

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • rust
  • ocaml
  • haskell
  • cryptography

Benefits & perks

  • Remote working
  • Flexible working

To sum it up...

Monitor, evaluate and implement the latest zero-knowledge cryptographic protocols in blockchain networks

Role overview

We are looking for a cryptographer & researcher interested in zero-knowledge cryptographic protocols and their application to distributed ledger technology to work with us to evaluate, design, and implement zero-knowledge proof constructions such as zkSNARKs and zkSTARKs, and design, implement, and analyze circuits in R1CS or AIR which realise privacy and scalability capabilities required by the next generation of blockchain networks.

This role offers the chance to work closely with a small team on compelling cross-disciplinary problems in computer science, cryptography, and economics, and enjoy a high degree of independence in working conditions and task prioritisation.

Responsibilities

  • Evaluate and analyze zkSNARK and zkSTARK proof systems such as Groth '16, Sonic, and Ben-Sasson '18 for security, expressivity, and performance; monitor the state of the research field for compelling new theoretical advances
  • Design and implement circuits in R1CS and AIR using libSNARK, libiop, and/or the Snarky domain-specific language for use in blockchain networks
  • Produce technical specifications for instantiations of cryptographic protocols and assist with implementation in coordination with team members
  • Implement and test elliptic curve primitives required for zero-knowledge proof systems, primarily in Rust, and evaluate existing implementations

Qualifications

  • Prior experience with cryptographic protocols, especially zkSNARKS or zkSTARKs (though not specifically required)
  • Prior experience in low-level systems programming, ideally in Rust
  • Self-motivated & self-organised (expect minimal management)

Bonus Qualifications

  • Prior experience with distributed ledger (blockchain) technology
  • Experience in a functional programming language such as Haskell, Idris, or Ocaml

Misc.

Competitive compensation in a negotiable mix of salary and equity.

Remote or local (Zürich/Zug, Berlin). When remote, preferred if mostly located within (+/- 7 hours) Central European time zones. North America is fine.

Ideally someone who enjoys travel, nature and hiking. Often we find that protocols are best designed not in a meeting room but rather on a trail.

  • 1-9

Cryptium Labs is a multi-network research and engineering team. We deploy cutting-edge research to improve the capability and efficiency of distributed protocols. We envision a future proof-of-stake blockchain ecosystem without the externalities or limitations of proof-of-work, where heterogeneous blockchains serving a wide variety of application use-cases coexist and interoperate seamlessly. Cryptium Labs started as a proof-of-stake validator with focus on security. We currently operate a live Tezos baker, Cosmos, IrisNetwork, and run testnets on Polkadot and NuCypher. We envision a secure, interoperable, and heterogenous blockchain ecosystem, and plan to help facilitate this by skeptically evaluating, continuously monitoring, and frequently upgrading existing blockchain protocols. Founded by @adrian_brink @awasunyin @cwgoes.

  • Blockchain
  • Early Stage Venture
  • Idris
  • RUST
  • OCAml
  • Haskell
  • Flexible Working
  • Remote Working
View 3 jobs
Engineers who find a new job through Blockchain Works average a 15% increase in salary.

Salary

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • rust
  • ocaml
  • haskell
  • cryptography

Benefits & perks

  • Remote working
  • Flexible working

Other roles that might interest you

Blockchain Protocol Developer
Cryptium Labs
Remote
Competitive
Monitor, evaluate and upgrade the latest generation Proof-of-Stake blockchain networks
DABL Engineer
Digital Asset
Competitive
Work with DAML, a functional distributed language to build the Digital Asset Big Ledger
Zero-Knowledge Cryptographer & Protocol Developer