Mario Stöckli

Full Stack Software Engineer based in Basel, Switzerland. ETH Zürich Computer Science graduate specializing in security and machine learning.

Building modern web applications with Next.js, React, and TypeScript. Experienced in Python, Java, and cloud infrastructure. Hackathon winner with a passion for clean architecture and innovative solutions.

Experience

2025

Full Stack Software Engineer · Axom Solutions SA

Programming visual inspection machines for Pharma industry using Angular, Node.js, Python, and Docker.

2024 — 2025

Application Engineer · bill-pay.io

Built the company website with Next.js and React. Implemented PostgreSQL database, Zod validation, bcrypt authentication, and server actions.

2024

Software Engineer · Carvolution AG

Prototyped computer vision algorithms with Python and OpenCV. Built UI components with Java and Angular. Developed REST APIs and CI/CD pipelines with Docker.

2023

Junior Software Engineer · Avega IT AG

Implemented OAuth authentication with Angular and Google Cloud. Created SQL tables and UI components following SAFe methodology.

2020 — 2021

Intern Software Engineer · AdNovum AG

Developed banking applications with Spring Boot. Performed database migrations, Hibernate optimization, and CI/CD with Jenkins.

Projects

P != NP Proof

Research

A formal proof demonstrating that P is not equal to NP, addressing one of the most fundamental open problems in theoretical computer science.

Complexity TheoryMathematicsComputer Science

Granite FHE Framework

Thesis

Bachelor thesis project improving the Marble Fully Homomorphic Encryption framework. Built a C++ framework for fast prototyping and benchmarking of FHE applications.

C++CryptographySecurity

Decentralized Earthquake Insurance

Hackathon

Chainlink Hackathon 2022 project. Built a webapp for decentralized earthquake insurance using smart contracts and oracle data.

SolidityWeb3Chainlink

Smart Service Technician App

Hackathon

Winner of the Sulzer challenge at Hack Winterthur 2019. Developed a smart application to assist service technicians in the field.

MobileIoTWinner

Social Points App

Hackathon

Winner of Finance 4.0 category at BETH Hackathon 2019. Created an innovative social points application for financial incentives.

FinanceMobileWinner

Education

2021 — 2023

Master of Science in Computer Science

ETH Zürich

Major: Secure and Reliable Systems | Minor: Machine Learning

2015 — 2021

Bachelor of Science in Computer Science

ETH Zürich

Major: Security | Minor: Machine Learning

Thesis: Granite: Improving the Marble Fully Homomorphic Encryption Framework

Skills

Languages

PythonJavaTypeScriptC++SoliditySQLHaskell

Frameworks

Next.jsReactAngularSpring BootIonic

Databases

PostgreSQLMySQLHibernateRESTGraphQL

DevOps

DockerJenkinsGitHub ActionsGoogle CloudLinux

Methods

ScrumSAFeCI/CDUnit TestingCode Reviews

Connect

If you'd like to discuss a project or just say hello, I'm always open to chat.