If you are reading this as a PDF, this document is available online at https://juuso.dev/cv.html
Personal StatementJuuso is a DPhil student at University of Oxford. His research papers and theses consists of multi-access edge computing and total functional programming languages. He has a MSc in Advanced Systems Dependability from University of St Andrews, and seperately from Universitรฉ of Lorraine, and BS in Information Processing Sciences from the University of Oulu.
Jul 2017 - Present | Entrepreneur | ๐ซ๐ฎ Muhos, Finland
Wholly-owned by me, Ponkila is an LLC that initially specialized in software contracting in Go. More recently, Ponkila has concentrated on Linux operating system development using NixOS. Client projects are not listed on this page.
As notable merit, Ponkila was invited in May 2018 to on-site interviews of Y Combinator (acceptance rate 2%), over a developer tool project for reducing 5G network end-to-end latency.
In January 2023, Ponkila received grants from the Ethereum Foundation's Ecosystem Support Program and ssv.network towards a project called HomestakerOS, a web UI for generating an integrated network of ephemeral Linux servers using NixOS. Ponkila Oy also has Ethereum RPC lease contracts with threshold.network and Lido.
Ponkila has developed a project called Nixie, which integrates NixOS flake configurations with PXE server for booting ephemeral operating systems.
Jul 2021 - Sep 2021 | Software Engineer | ๐ฎ๐ฑ Tel Aviv, Israel
Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
I worked at Certora in between finishing my MSc and starting my DPhil. I worked on the Language Server Protocol implementation of Certora's prover language.
Mar 2020 - Jul 2020 | Research Intern (RESIST) | ๐ซ๐ท Nancy, France
Funded MSc thesis research on GPU accelerated network functions.
Jul 2020 - Aug 2020 (on leave) | Doctoral Student (UBICOMP) | ๐ซ๐ฎ Oulu, Finland
Research on multi-party edge computing and verification, distributed resource scheduling.
Nov 2018 - Nov 2019 | Research Assistant (UBICOMP) | ๐ซ๐ฎ Oulu, Finland
Research and development of open-source software radio access network architecture.
Jun 2018 - Aug 2018 | Undergraduate Research Assistant (5GTN+) | ๐ซ๐ฎ Oulu, Finland
Funded BSc thesis research on latency-optimized edge computing in 5G cellular networks.
Jun 2016 - Jan 2017 | Software Engineer Intern | ๐บ๐ธ Mountain View, United States of America
OneSignal (Y Combinator S11) is a push notification delivery platform. During my time at OneSignal, I developed the OneSignal admin panel. Customers' feature requests and bug complaints were forwarded to me from which I designed and built new features and bugfixes.
Feb 2016 - Jun 2016 | Software Engineer Intern | ๐บ๐ธ San Francisco, United States of America
I relocated to San Francisco during my freshman year through an internship program called Startuplifers, which connects Finnish university students with startups for work. The program has an acceptance rate of about 10%. I am one of the youngest students accepted into the program.
Memebox (Y Combinator W14) is an eCommerce startup for Asian beauty products. My responsibilities included contributing to their eCommerce platform written in Go and creating an admin dashboard to it from scratch. I was responsible for architecting, deployment and servicing of the admin dashboard and onboarding of a new intern to contribute to the project.
Mar 2015 - Sep 2015 | Software Developer | ๐ซ๐ฎ Santahamina, Finland (EKOMJ)
I served my mandatory military service as a programmer. I was one of three programmers accepted through technical interviews, to which 12 conscripts were invited from however many applied from 22'000.
During my stay, I was part of an engineering team of five. Our team transitioned Defence Forces from paper to digital questionnaires. The software is nowadays used by conscripts and officers nationwide.
Jan 2013 - Dec 2014 | Software Contractor | ๐ซ๐ฎ Muhos, Finland
At the age of 17, I started a sole proprietorship through school entrepreneurship program. Some of the software which I created included:
Being an entrepreneur also taught how software engineering isn't all about programming, but about communicating to solve other people's problems.
I later held two speeches about my experience. I was featured in local newspapers. At graduation, I received a scholarship for my entrepreneurial efforts.
2021 - Present | Doctor of Philosophy in Computer Science
Activities and Societies: Graduate Director of Innovation and Entrepreneurship (Reuben College, 2021), Oxford Blockchain Society
2020 - 2021 | Master of Science in Advanced Systems Dependability
Module track: Software Engineering (distinction)
Thesis: Static Semantics of Rank Polymorphism
2019 - 2020 | Master of Science in Advanced Systems Dependability
Module track: Formal Reasoning (merit)
The work was extended in Unleashing GPUs for Network Function Virtualization: an open architecture based on Vulkan and Kubernetes
2015 - 2018 | Bachelor of Science in Information Processing Science
Activities and Societies: Oulu Entrepreneurship Society
Thesis: Latency-optimized edge computing in Fifth Generation (5G) cellular networks
The work was extended in Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC
For a more complete list of my public work, see my Github.
A programming language with built-in distributed scheduler.
I homebrew container-based server infrastructure based on RAMdisks, PXE booting, and CoreOS. This is an experiment to see how emphemerality can easen server maintainability.
I created a project which generates SVG maps from stationary points using Xiaomi Roborock vacuum cleaner. I also programmed a leg detection algorithm using the vacuum cleaner LIDAR sensor. These maps were then integrated to a custom-built translucent augmented reality tablet to control in-house IoT devices.
I created an automatic Twitch highlighting software. The software was first run during The International 5 DotA 2 tournament. The highlights received over 100,000 YouTube views in a week. The software was piloted by the biggest eSports event organizer in the world, ESL.
Vertigo is a dynamic blog engine written in Go. It aims for idiomatic code and wide use of the standard library.
I created software for buying prestigious Nike sneakers.
My first web app appraised domains. At its best, it received over 20'000 unique monthly visitors.
I received a full 2-year scholarship for my DPhil studies in programming languages.
I contributed to 6+1 recommendations for Finland, a regulation report for web3 businesses in Finland.
I received a medal for the best dissertation in my MSc program.
I received a full 2-year scholarship for my MSc studies in formal methods.
I received a scholarship for my efforts as an entrepreneur at graduation from my second-degree schooling.
Military rank: guard jaeger (signaling)