Remote worldwide
Posted 27 days ago
Smart contracts are not secure enough for finance, law, or systems engineering.
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.
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.
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 🏔️.
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.
Compensation
Competitive
Contract type
Full time
Visa sponsorship
Not provided
Benefits & perks
Remote Working
Flexible Working
Team Workouts
Conference Tickets
Unlimited Vacation
Travel opportunities
$81K - 125K
Full time
Remote
2022-08-20T14:00:12.865Z
$81K - 125K
Full time
Remote
2022-08-20T14:00:12.865Z
$81K - 125K
Full time
Remote
2022-08-20T14:00:12.865Z
Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ
108 E 16th Street, New York, NY 10003
Join over 111,000 others and get access to exclusive content, job opportunities and more!