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.
Heliax’ work include the Anoma protocol, a novel architecture for blockchains that enables a declarative paradigm for decentralized applications; Namada, a proof-of-stake L1 for interchain asset-agnostic privacy; Juvix and Vamp-ir, in the domain of languages for dApps and ZK circuits.
Anoma’s architecture introduces a declarative paradigm for decentralized applications and exposes novel primitives for developers such as composable/declarative privacy. DApp developers on Anoma can write transparent / shielded applications using Juvix and/or vamp-ir.
Juvix is a high-level functional language for intents and validity predicates, which is fully integrated with Anoma’s unified execution environment (Taiga).
Juvix can compile tovamp-ir (and many other backends) so that an application can be compiled down to ZK circuits directly. To get a sense of Juvix, checkout this end-to-end demo of a ZK dApp written in Juvix that is verifiable on Ethereum.
Vamp-IR is a proof-system agnostic intermediate representation for ZK circuits and the first attempt to standardize an intermediate representation for circuit compilation (à la LLVM for polynomial circuits). Any circuit developer can use any higher level language, including Juvix, that is integrated with Vamp-ir to write their circuits once and be able to output programs that are compatible with Halo2, Plonk-like, STARK, or even FHE proof systems.
As we’re wiring-up for Anoma’s first public testnet and the developer tooling, we’re looking for extra hands to help us out with writing example dApps on Anoma, developer documentation, developer guides and how-tos, help us spread the word about the project virtually or in person - and any other things that show the world how cool the stack is and help grow the community of Anoma developers.
- Write developer documentation, technical articles, developer guides, tutorials, and other forms of content for developers
- Support the community in broad reach channels such as Discord and the Anoma forums
- Directly engage with the developer community through talks, conferences, meetups, hackathons, workshops, training, and other education channels.
- Develop technical content to simplify development for other developers.
- Synthesize and share feedback from the developer community with the compilers team in order to help improve Juvix / Vamp-ir.
- Identify and source developer communities who might want to use Juvix/Vamp-ir.
- Develop educational materials to help people understand Juvix/Vamp-ir tech stack as well as foundational concepts around zero-knowledge technology.
- Create a newsletter, forum, etc where developers can get regular updates on Juvix /Vamp-ir.
- Attending and speaking at events.
- Build and grow a Juvix/Vamp-ir developer community.
- Guide and educate developers to maximize their developer experience.
- Be a technical advisor to Marketing, Business Development, and other non-engineering functions.
- Identify key integration opportunities and work with partners on integrations.
- Experience as a developer is not essential but preferred; Experience as a DevRel, developer advocate, developer community management, or related domain is a plus.
- Development skills: a Computer Science degree, or equivalent, 2+ years of blockchain / decentralized application development experience.
- Presenting skills: The ability to present complex technical ideas to developers and often non-technical audiences.
- Education skills: The ability to craft educational/training content.
- Ability to travel: You will be required to travel to conferences rather regularly.
- Excellent written and verbal communication in English.
- Individuals who are self-starters, have an entrepreneurial mindset and are hungry to learn.
- Intermediate understanding of Git/GitHub and general coding knowledge.
- Solid understanding of blockchain and zero-knowledge technology.
- Experience building educational programs for the developer community.
- Ability to analyze complex, technical topics and turn them into easy-to-understand documentation.
- Comfortable working in a remote environment.
Remote, but you can join the team at our current offices in Zug, London, or Berlin.
When remote, preferred if mostly located within (+/- 7 hours) Central European time zones.
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 🏔️.