Experiencia Laboral
Software Engineer | Heliax AG | Ene 2026 - Presente
- Co-maintainer de la capa de settlement EVM de Anoma: participé en el deploy del Protocol Adapter (pa-evm) y ERC-20 Forwarder (Solidity/Rust), configuré Foundry y contribuí mejoras al codebase que conecta la Anoma Resource Machine con Ethereum y Arbitrum.
- Desarrollé Anoma Explorer (Elixir/Phoenix LiveView), Anoma Envio (indexador en TypeScript/GraphQL) y Anoma Swap (Phoenix + backend en Rust con ZK proofs para la lógica RM) dentro del ecosistema del Protocol Adapter.
Research Engineer | Heliax AG | Jun 2025 - Dic 2025
- Lancé HyperCow, un decentralized exchange basado en SPEEDEX sobre Anoma: storage layer con Mnesia, estrategia de vault XYK, batch pipeline con GenStage y gestión completa del order book. Más de 60 PRs mergeados.
- Escribí la especificación del instruction set del AVM, definiendo la semántica de ejecución, manejo de estado y error handling para la Anoma Virtual Machine.
- Formalicé modelos de actors y mailboxes en Lean 4 para la Anoma Virtual Machine.
- Contribuí un DSL tipo Python al proyecto GOOSE (Lean 4).
Distributed Systems Researcher | Heliax AG | Ene 2023 - Jun 2025
- Diseñé y lancé la v0.1.0 de anoma/engine, una biblioteca en Elixir con supervision tree OTP, messaging demand-driven vía GenStage, un DSL validado en compile time y un patrón de mailbox-as-actors. También creé Tango, una biblioteca de estructuras de datos replicadas in-memory en Elixir.
- Armé y mantuve el sitio de especificaciones de Anoma (specs.anoma.net): infraestructura con MkDocs, CI/CD con preview deploys por PR y releases versionados de v0.1.0 a v0.2.0. Más de 100 PRs mergeados.
- Creé juvix-mkdocs, un plugin en Python para MkDocs que habilita literate programming para la spec y docs.juvix.org: el código Juvix se typecheckea en build time, garantizando que la spec y la implementación no diverjan.
- Curé el índice de Anoma Research Topics (ART) (art.anoma.net): armé el template en LaTeX, edité y revisé papers de investigación y mantuve el sistema de publicación en Zenodo.
Compiler Engineer & Product Lead | Heliax AG | Mar 2022 - Dic 2023
- Product lead de Juvix, un lenguaje para aplicaciones descentralizadas intent-centric. Dirigí la visión de producto, el roadmap y el proceso de release desde el primer commit hasta versiones estables.
- Envié más de 50 PRs de compiler en Haskell y lideré refactors importantes: termination checker, positivity checker, backend Core-to-Geb con evaluator y soporte para literate Juvix Markdown.
- Creé y mantuve docs.juvix.org desde cero y desarrollé la extensión de VS Code para Juvix: semantic syntax highlighting, integración con REPL, CodeLens, hover/typecheck. Más de 50 releases de la extensión.
- Creé el Homebrew tap para distribución en macOS, el CI de la standard library de Juvix y la automatización de releases para VampIR, un lenguaje de zero-knowledge circuits (Rust).
Part-time Researcher | Heliax AG | Ago 2021 - Mar 2022
- Desarrollé el parser inicial de Juvix y el paso de name resolution (MiniJuvix). Inicié la primera versión de la extensión de VS Code.
- Participé en la serie de seminarios de PLT: presenté sobre type theory, compiler design, lambda calculus y formal methods.
- Cursos de posgrado: Models of Computation, Concurrent Programming, Introduction to Logic, Software Engineering.
Research Assistant | Universidad EAFIT | 2016 - 2017
- Desarrollé Online-ATPs, una herramienta en Haskell para conectar proof obligations con múltiples automated theorem provers. Contribuí al proyecto de proof reconstruction Apia.
- Cursos de pregrado: Álgebra Lineal, Programación Lineal, Álgebra.
- Desarrollé algoritmos de clasificación con ML y pipelines de text mining para análisis de uso de suelo en Mathematica.
- Dicté Algoritmos I-II y Matemáticas Discretas a estudiantes de pregrado.
Full-stack Python Developer | Vanitech | 2012
- Desarrollé una plataforma de reservas y landing page en Python con Flask y SQLite.
- Implementé una API de cifrado/descifrado RSA en C# .NET para aplicaciones financieras.
© 2026 Jonathan Prieto-Cubides. Actualizado: April 13, 2026.