Salary

Competitive

Contract type

Full time

Remote working

Technologies & frameworks

Distributed Systems
Rust
consensus
Rustlang

Benefits & perks

Remote working
Flexible working
Team workouts
Conference tickets
Unlimited vacation
Travel opportunities

Blockchains do not scale to a global user-base of seven billion people.

Role overview

Blockchains do not scale to a global user-base of seven billion people.

Distributed systems research engineering at Heliax focuses on designing, building, extending, and maintaining decentralized, permissionless, and censorship-resistant protocols. We are looking for experienced distributed systems engineers that are interested in applying novel research to create high-quality open-source technology and solve outstanding problems in the blockchain space. As a member of the core protocol engineering team, you will be working on distributed ledger technology implemented in Rust, with a particular focus on distributed systems: consensus algorithms and peer-to-peer networking layers. You’ll work both on the research and implementation side to ensure that our protocols are both theoretically sound and correctly realized in code. This role offers the chance to work closely on compelling cross-disciplinary problems in computer science, systems engineering, cryptography, and economics, and enjoy a high degree of independence in working conditions and prioritization.

Responsibilities

Produce technical specifications of BFT consensus algorithms and peer-to-peer systems in coordination with other team members
Analyze consensus protocols for safety, liveness, incentive compatibility under a rational actor model, asymptotic and concrete efficiency, and implementation difficulty
Implement protocols in performant and cleanly abstracted Rust code
Comprehensively document and test protocols and protocol changes
Benchmark implementations and adjust both high-level architecture and low-level details in order to optimise for performance while retaining semantic correctness
Conduct code reviews in coordination with other team members and help maintain a high standard of quality across the codebase

Qualifications

Prior experience with distributed systems such as BFT consensus algorithms
Familiarity with the Rust programming language
Self-motivated & self-organized
Interested in open-source technology and research applied to DLT

Bonus Qualifications

Prior experience with large scale distributed systems deployed in practice
Prior experience with network and systems engineering
Prior experience with database design and optimization
Prior experience in blockchain technology
Prior experience implementing cryptography

Misc

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 🏔️.

Heliax

10-49

Heliax is a research, development, and product company dedicated to bringing novel research to bear on the hardest problems in the distributed ledger space and making self-sovereign and privacy-preserving technologies accessible worldwide. Our Work Heliax is the core development team building the Anoma Network, a layer 1, proof-of-stake, blockchain protocol that deploys cutting edge research in zero-knowledge cryptography and distributed systems design to enable private, asset-agnostic cash, bartering among any number of parties, and coordination mechanisms at large scale. Our Research Heliax's R&D team distills novel research across many disciplines, such as zero-knowledge cryptography, programming language theory, and computer science with the aim of building open-source tools that contribute to solving the bottlenecks in the blockchain industry. Some of our past projects include: Juvix, a dependently-typed high-level language for developing smart contracts, which is platform agnostic and able to output efficiently executable code. MASP, a zero-knowledge cryptographic scheme implemented in Rust that enables multi-denomination privacy sets Our Culture Heliax is a remote-first company with +20 team members located around the world. Our culture is defined by the following principles: Shaping the industry: join the vanguard of the emerging blockchain industry and work on problems that have never been solved before and on building systems and products that were not possible before. Remote first: from Canada, United States, Brazil, the UK, France, Switzerland, Germany, Austria, Denmark, Taiwan, Japan– work from whenever you want. Open allocation: high degree of autonomy and flexibility. Team gatherings: from company-wide to team-specific gatherings to research and industry conferences.

Typed Functional Programming

Team Workouts

Conference Tickets