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 the full job description!

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 πŸš€

Blockchain Protocol Developer

Remote πŸ™Œ

Salary

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • ocaml
  • haskell
  • rust
  • Idris

Benefits & perks

  • flexible working

Interested in seeing this company work? Contribute to their Open Source.

View All Issues

To sum it up...

Monitor, evaluate and upgrade the latest generation Proof-of-Stake blockchain networks

Role overview

Overview

We are looking for a developer/researcher interested in functional programming and distributed ledger technology to work with us to evaluate and upgrade the proof-of-stake consensus algorithms, smart contract layers, and cryptoeconomic state machines of the latest 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 prioritisation.

Responsibilities

  • Produce technical specifications of cryptocurrency protocols or protocol upgrades in coordination with team members
  • Evaluate algorithmic complexity, incentive compatibility, and implementation difficulty of possible new protocols
  • Prove properties of protocol specifications, sometimes informally and sometimes with tooling such as Coq or Idris
  • Implement and test protocols and protocol changes, primarily in pure functional languages (OCaml, Haskell, Idris)

Qualifications

  • Prior experience in functional programming, preferably in either OCaml or Haskell. Alternatively, prior experience in programming with low-level languages such as Rust
  • Self-motivated & self-organised (expect minimal management)

Bonus Qualifications

  • Prior experience with a dependently-typed programming language such as Idris, Coq, or Agda
  • Prior experience in blockchain technology
  • Prior experience in programming language design

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. Ideally someone who enjoys nature and hiking.

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

  • ocaml
  • haskell
  • rust
  • Idris

Benefits & perks

  • flexible working

Interested in seeing this company work? Contribute to their Open Source.

View All Issues

Other roles that might interest you

Zero-Knowledge Cryptographer & Protocol Developer
Remote
Competitive
Monitor, evaluate and implement the latest zero-knowledge cryptographic protocols in blockchain networks
More Info
Senior Software Engineer
Remote
$145K - 190K + Equity
Distills complex data into precise actions using Haskell
More Info
Blockchain Protocol Developer