Remote Applied Compiler Engineer - Heliax

About HeliaxThe systems of coordination and finance in our world today are not private, secure, or resilient enough for safe use by citizens, corporations, or dissidents. Heliax works on the distributed operating system Anoma which is designed to provide a robust base layer for human coordination.About the Juvix projectJuvix is a pure, functional, strongly typed programming language, in which Anoma applications are written. The Juvix compiler – implemented in Haskell – is a central component of the Anoma stack, responsible for compiling programs written in the Juvix language to various backends, including Nock, Cairo, and RISCV. Heliax is looking for an applied compiler engineer interested in helping us quickly, safely, and performantly implement and improve the Juvix compiler, and design, implement, test, and refine applications in the Juvix language.This role offers the chance to work closely with experts and researchers in various domains. From cryptography to programming language theory, a good sample of the work we do can be found on our Anoma Research Topics page. The job of Anoma engineering is often to help synthesise ideas found in research into an integrated system. In practice, this means that the role will include giving feedback to researchers about their designs, shaping their research to help fit an integrated system, and ultimately implementing the ideas.ResponsibilitiesWork in the Juvix compiler codebase – adding features, improving performance, fixing bugs, keeping the architecture clean, etc.Program in Haskell to facilitate interoperability between intermediate programming language representations used by JuvixDevelop applications in Juvix based on high-level designs. Evaluate algorithmic complexity and implementation difficulty of new applications, giving feedback to researchers and organisational leadership.Develop and maintain developer tooling for Juvix (VScode plugin, html generation, markdown support, package manager, etc.)Write documentation for the Juvix language and applicationsRequired qualificationsProficient in a typed functional programming language: Haskell (preferable), OCaml, Scala…Working hours should include 10 – 17 CET.Ability to work independently and reliably without extensive supervision.Good communication and collaboration skills; experience working with both engineers and researchers.Nice to haveExperience with remote workExperience with small-team leadershipExperience with dependently typed proof assistants (Lean, Rocq, Agda, Idris, etc.)Compiler implementation experienceKnowledge of programming language theoryKnowledge of type theoryFamiliar with Github CIFamiliarity with large-scale distributed systems, network/systems engineering, blockchain technology, and/or database system design and optimizationMiscMust be willing to travel to Europe for initial onboarding, and several times a year for team retreats (these costs are covered by Heliax).Ideally someone who enjoys travel, nature, and hiking. Often we find that compilers are best designed not in a meeting room but rather on a trail.#J-18808-Ljbffr