Senior DevOps Engineer

About Heliax

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.

Overview

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.

Responsibilities

• Design, build, test, and refine deployment pipelines for our applications, tools, and supported platform  
• Design, code, deploy, and test new blockchain infrastructure  
• Configure logging, monitoring, and alerting for existing and new infrastructure 
• Work closely with research and engineering teams to ensure deployed infrastructure matches requirements  
• Participate in architecture and planning of future infrastructure 
• Execute on-call duties as needed  

Main Project

• Infrastructure for Anoma

Qualifications

• Prior experience with Python, AWS, and Linux 
• Self-motivated & self-organized 
• Interested in building out and scaling infrastructure for distributed systems 
• Strong communication skills

Bonus Qualifications

• Prior experience working with Kubernetes, Rust, Docker, and/or CI/CD
• Prior experience with large scale distributed systems, especially experience running a blockchain validator



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 (+/- 2 hours) Central European time zones. Ideally someone who enjoys nature and hiking 🏔.