Who is Jonathan P.? Overview
A concise factual answer block for searchers comparing this professional profile.
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).
Email format at Heliax
This section adds company-level context without repeating Jonathan P.'s masked contact details.
Review company-level records connected to Jonathan P. before choosing the right outreach path.
About Jonathan P.
Jonathan P. is a Software Engineer at Heliax. He is proficient in Bokmål, Norwegian and English.
Jonathan P.'s current company
Company context helps verify the profile and gives searchers a useful next step.
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.
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
Research Fellow
Student Researcher
Part of the project "Combining interactive and automatic proofs (Apia)".
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.
Jonathan P. education
Doctor Of Philosophy - Phd
Master In Applied Mathematics, Logic And Algorithms
Bachelor'S Degree, Mathematics
Economics
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).
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialCheck these profiles if this is not the Jonathan P. you were looking for.
View similar profiles