Work Experience
Software Engineer | Heliax AG | Jan 2026 - Present
- Co-maintainer of Anoma’s EVM settlement layer: helped deploy the Protocol Adapter (pa-evm) and ERC-20 Forwarder (Solidity/Rust), set up Foundry configuration, and contributed codebase improvements bridging the Anoma Resource Machine to Ethereum and Arbitrum.
- Built Anoma Explorer (Elixir/Phoenix LiveView), Anoma Envio (TypeScript/GraphQL indexer), and Anoma Swap (Phoenix + Rust ZK-proof backend for RM logic proofs) for the Protocol Adapter ecosystem.
Research Engineer | Heliax AG | Jun 2025 - Dec 2025
- Shipped HyperCow, a SPEEDEX-based decentralized exchange on Anoma: Mnesia storage layer, XYK vault strategy, GenStage batch pipeline, and full order-book management. 60+ PRs merged.
- Authored the AVM instruction set specification, defining the execution semantics, state management, and error handling for the Anoma Virtual Machine.
- Formalized actor and mailbox models in Lean 4 for the Anoma Virtual Machine.
- Contributed a Python-like DSL to the GOOSE project (Lean 4).
Distributed Systems Researcher | Heliax AG | Jan 2023 - Jun 2025
- Architected and released v0.1.0 of anoma/engine, an Elixir library: OTP supervision tree, GenStage demand-driven messaging, a compile-time validated DSL, and mailbox-as-actors pattern. Created Tango, a replicated in-memory data structures library in Elixir.
- Built and maintained the Anoma specification website (specs.anoma.net): MkDocs infrastructure, CI/CD with per-PR preview deploys, and versioned releases v0.1.0 to v0.2.0. 100+ PRs merged.
- Created juvix-mkdocs, a Python MkDocs plugin enabling literate programming for the spec and docs.juvix.org: Juvix code is typechecked at build time, ensuring spec and implementation cannot drift apart.
- Curated the Anoma Research Topics (ART) index (art.anoma.net): built the LaTeX template, edited and proofread research papers, and maintained the research publication system on Zenodo.
Compiler Engineer & Product Lead | Heliax AG | Mar 2022 - Dec 2023
- Product lead for Juvix, a language for intent-centric and declarative decentralized applications. Drove product direction, roadmap, and release process from initial commit to stable releases.
- Shipped 50+ compiler PRs in Haskell and led major codebase refactors: termination checker, positivity checker, Core-to-Geb backend with evaluator, and literate Juvix Markdown support.
- Created and maintained docs.juvix.org from scratch and built the VS Code extension for Juvix: semantic syntax highlighting, REPL integration, CodeLens, hover/typecheck. 50+ extension releases shipped.
- Created the Homebrew tap for macOS distribution, the Juvix standard library CI, and release automation for the VampIR zero-knowledge circuit language (Rust).
Part-time Researcher | Heliax AG | Aug 2021 - Mar 2022
- Built the initial Juvix parser and name-resolution pass (MiniJuvix). Started the first version of the VS Code extension.
- Contributed to the PLT seminar series: presented on type theory, compiler design, lambda calculus, and formal methods.
- Graduate courses: Models of Computation, Concurrent Programming, Introduction to Logic, Software Engineering.
Research Assistant | Universidad EAFIT | 2016 - 2017
- Built Online-ATPs, a Haskell tool connecting proof obligations to multiple automated theorem provers. Contributed to the Apia proof-reconstruction project.
- Undergraduate courses: Linear Algebra, Linear Programming, Algebra.
- Developed ML classification algorithms and text mining pipelines for land-use analysis in Mathematica.
- Taught Algorithms I-II, Discrete Mathematics to undergraduate students.
Full-stack Python Developer | Vanitech | 2012
- Developed booking platform and landing page in Python with Flask and SQLite.
- Implemented RSA encryption/decryption API in C# .NET for financial applications.
© 2026 Jonathan Prieto-Cubides. Last updated: April 10, 2026.