The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Functional Works average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

Remote Functional Compiler Engineer (Juvix)

Remote | Worldwide

24 November, 2021

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Compiler
  • Compiler Design
  • Idris
  • compiler engineering
  • Functional Programming
  • Haskell
  • Coq
  • Agda 2
  • Agda
  • Compilers
  • Open Source

Benefits & perks

  • Remote working
  • Flexible working
  • Unlimited vacation
  • Team workouts
  • Conference tickets
  • Travel opportunities
Smart contracts are not secure enough for finance, law, or systems engineering.

Role overview

About Heliax

The primary project of Heliax is the Anoma protocol (implemented in Rust). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering 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 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 team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. 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.


Smart contracts are security-critical, performance-sensitive, and bug-prone. 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

  • Produce formal specifications and implementation plans for new language features in collaboration with team members (and optionally submit to academic venues)
  • Evaluate correctness, suitability, and ease-of-implementation of published PLT and compiler engineering research for the Juvix architecture & project aims
  • Implement both in-house and published research in Haskell in the Juvix codebase in collaboration with team members
  • Conduct code reviews and help maintain a high standard of correctness and quality
  • Conduct benchmarks of Juvix output code and adjust both the compiler architecture and details of specific passes to optimise its performance while retaining correctness
  • Comprehensively document both design and implementation choices in the codebase, and assist in writing user-facing documentation for the Juvix language

Main Project


Qualifications

  • Prior experience in functional programming in Haskell, Idris, Agda, or Coq
  • Prior experience in compiler engineering, especially for a functional language
  • Self-motivated & self-organised
  • Interested in open-source technology and research applied to DLT

Bonus Qualifications

  • Prior academic work in type theory, PLT, or compiler design
  • Prior academic work in cryptography, economics, or game theory

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

  • 10-49

Heliax is a public goods lab which researches, develops, deploys, and maintains protocols and mechanisms designed to serve the everyday needs of humanity. Using these protocols and mechanisms, we build vertically integrated products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms. Everything produced by Heliax is open-source and unencumbered by any form of IP law. Two of the most notable vertically integrated protocols are Anoma and Namada. Anoma is an intent-centric, privacy-preserving protocol for decentralized counterparty discovery, distributed solving,and atomic multi-chain settlement – a radically novel architecture for decentralized protocols marking the beginning of the third generation of architectures, the first new generation since the introduction of programmable settlement by Ethereum. Namada is Anoma’s first fractal instance: a proof-of-stake Layer 1 blockchain protocol designed to provide users with asset-agnostic, interchain privacy. The key innovations include Zcash-like shielded transfers for any assets (fungible and non-fungible), incentivised privacy sets, and interoperability with Ethereum via a custom bridge and with the Cosmos ecosystem and others via IBC. As components of these vertically integrated protocols, Heliax builds many modular components which can be used independently or jointly, such as the Juvix language, Typhon consensus suite, Taiga private state transition framework, and VampIR polynomial circuit compiler. Heliax is a remote-first (but not remotely-only) team, currently composed of +50 cross-disciplinary members located around the world.

View 16 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Compiler
  • Compiler Design
  • Idris
  • compiler engineering
  • Functional Programming
  • Haskell
  • Coq
  • Agda 2
  • Agda
  • Compilers
  • Open Source

Benefits & perks

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

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

IO Global is searching for a Software Engineer (Haskell Developer) to join its Node team.
Remote
IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team
Remote
Remote Functional Compiler Engineer (Juvix)