Who is Jonathan P.? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Jonathan P. is listed as Software Engineer at Heliax, based in Colombia, Colombia, Colombia. AeroLeads shows a matched LinkedIn profile for Jonathan P..
Jonathan P. previously worked as R&D Engineer at Heliax and Compiler Engineer & Product Lead, Juvix Programming Language at Heliax. Jonathan P. holds Doctor Of Philosophy - Phd from University Of Bergen (Uib).
Company email context
Email format at Heliax
This section adds company-level context without repeating Jonathan P.'s masked contact details.
Heliax
Review company-level records connected to Jonathan P. before choosing the right outreach path.
Profile bio
About Jonathan P.
Jonathan P. is a Software Engineer at Heliax. He is proficient in Bokmål, Norwegian and English.
Current workplace
Jonathan P.'s current company
Company context helps verify the profile and gives searchers a useful next step.
7 roles
Jonathan P. work experience
A career timeline built from the work history available for this profile.
R&D Engineer
I am currently working on organizing the new Anoma Specification and investigating an Actor-like model for the underlying Anoma distributed system. This involves reviewing existing documentation, reading academic papers, developing tooling for documentation (mainly in Python using mkDocs), lots of refactors, and integrating with in-house projects such as.
Compiler Engineer & Product Lead, Juvix Programming Language
I managed and led a team of four talented compiler engineers at Juvix, where we worked on the Anoma Compiler Stack, focusing on the Juvix programming language. My responsibilities included overseeing multiple projects from concept to implementation, presenting the programming language at internal and international events, ensuring alignment with.
Mar 2022 - Dec 2023
Type Theorist
Investigated usage-awareness type theories like QTT for our in-house programming language. Contributed to different technical talks and product planning. https://github.com/anoma/juvix-archived
Aug 2021 - Mar 2022
Research Fellow
Jan 2018 - Feb 2022
Student Researcher
Part of the project "Combining interactive and automatic proofs (Apia)".
Jan 2016 - Dec 2017
Researcher
Implementation of several text data mining algorithmsfor the agency "Observatorio de Restitución de Tierras" leaded byFrancisco Gutiérrez Sanín. Programming languages: Mathematica, Python and Java.
Jan 2014 - Dec 2015
4 education records
Jonathan P. education
Doctor Of Philosophy - Phd
Master In Applied Mathematics, Logic And Algorithms
Bachelor'S Degree, Mathematics
Economics
FAQ
Frequently asked questions about Jonathan P.
Quick answers generated from the profile data available on this page.
What company does Jonathan P. work for?
Jonathan P. works for Heliax.
What is Jonathan P.'s role at Heliax?
Jonathan P. is listed as Software Engineer at Heliax.
Where is Jonathan P. based?
Jonathan P. is based in Colombia, Colombia, Colombia while working with Heliax.
What companies has Jonathan P. worked for?
Jonathan P. has worked for Heliax, University Of Bergen (Uib), Universidad Eafit, and Universidad Sergio Arboleda.
How can I contact Jonathan P.?
You can use AeroLeads to view verified contact signals for Jonathan P. at Heliax, including work email, phone, and LinkedIn data when available.
What schools did Jonathan P. attend?
Jonathan P. holds Doctor Of Philosophy - Phd from University Of Bergen (Uib).
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Jonathan P. you were looking for.
View similar profiles
