The primary project of Heliax is the Anoma protocol (implemented in Rust). Anoma is self-contained, self-sovereign and capture resistant, enabling private, asset-agnostic cash and private coordination among any number of parties. In addition to Anoma, Heliax works on open-source projects which are part of the Anoma ecosystem, including but not limited to research in cryptographic libraries such as the MASP, Plonk or Ferveo (written in Rust), and tools for high assurance validity predicates and arbitrary zero-knowledge circuits (Juvix, written in Haskell).
Heliax is a remote-first public goods lab which researches, develops, deploys, and maintains open-source protocols & mechanisms designed to serve the everyday needs of humanity. Using this, we build vertically integrated open-source products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms. With team members located around the world, our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.
Overview
Smart contracts are not secure enough for finance, law, or systems engineering.
Heliax is working on a dependently-typed smart contract language, Juvix, which utilises recent advancements in type theory to allow developers to write code in a high-level functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment & execution.
PLT at Heliax focuses on applying the latest research in type theory and programming language design to concrete problems in the distributed ledger space. We are looking for a functional compiler engineer to work on various parts of the Juvix stack, all the way from optimising inlining heuristics in the core compiler passes to using Juvix’s granular linearity information in order to write an efficient LLVM compilation backend.
This role offers the chance to work closely with a small team on compelling cross-disciplinary problems in computer science, PLT, cryptography, and economics, and enjoy a high degree of independence in working conditions and prioritisation.
Responsibilities
Primary Project
Juvix
Qualifications
Bonus Qualifications
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 🏔️.
The infrastructure team enables Chainlink development and maintains services that support the health of the most widely adopted oracle network...
Apply For This JobBlockchain.com is the world’s leading software platform for digital assets. Offering the largest production blockchain platform in the world, we...
Apply For This JobThe next generation NFT focused blockchain. Certifiable authenticity. Permanent storage. Negligible fees. Build, secure, and scale your Web3 ecosystem with...
Apply For This JobMassa Labs develops the first blockchain that is both truly decentralized and scaled. After launching a testnet attracting 3,000 nodes...
Apply For This JobParity Technologies builds core infrastructure for blockchains and Web 3.0 technologies. This means dealing with P2P networking, consensus algorithms, cryptography, databases,...
Apply For This JobBinance is the global blockchain company behind the world’s largest digital asset exchange by trading volume and users, serving a...
Apply For This Job