Experience

Machine Learning Engineer

Brütsch Technology Beringen, Switzerland Okt 2025 – present Deep learning, Computer Vision

I just started. Therefore I cannot say much about the projects yet.

PhD Student

Constructor Institute of Technology (Academia)
Schaffhausen, Switzerland
Dec 2023 – Sep 2025 Formal Verification, Eiffel, Automated Proofs (Isabelle HOL), LLMs, AI


Data Scientist

ti&m (Banking, Government, FinTech)
Zürich, Switzerland
Aug 2020 – Nov 2023
Machine Learning, Python, JavaScript, Docker, Data Science, AI, Computer Vision, Blockchain, Recommender Systems


Software Engineer (Machine Learning, Computer Vision)

Kitris GmbH (Sports)
Zürich, Switzerland
Jan 2020 – Jul 2020
Python, Docker, R&D, Computer Vision, Visual Computing


Junior Security Researcher & Software Engineer

Exeon Analytics (Cybersecurity)
Zürich, Switzerland
Apr 2018 – Jun 2019
Python, Docker, Scala, React


Projects

Hoare-Logic proof verifier

GitHub, Web Demo
This is a web technology based hoare logic verifier. The user can create programs and their proofs using drag and drop. The proofs of the hoare logic have to be explicit to the end. The logical and arithmetical proof obligations are fed to the SMT solver Z3. The tool is fully frontend based. No server is needed. That is why the application also works on this static website.

CodeForge

CodeForge on GitHub
CodeForge is a platform designed to compile, run, and verify code across multiple programming languages. Using Docker containers to ensure that code execution is both secure. The platform is useful for educational environments, coding demos. Its containerized architecture allows for easy integration of new languages and verification tools. It was completely vibe coded. It is sometimes online at eiffel.org.

PDF Scan

PDF Scan Automation on GitHub
PDF Scan is a project that streamlines the organization of physical mail and documents. It processes batches of scanned documents, automatically detecting where to split them into individual files, straightening pages, and performing OCR to extract text. This tool reduces manual effort in digitizing and archiving paperwork. It is especially helpful for personal and small office use. It was partially vibe coded.

Autoproof Docker

Autoproof Docker on GitHub
This project provides a Docker image for running AutoProof, a static verifier for Eiffel programs. By containerizing AutoProof, the setup process becomes straightforward and platform-independent. Users can quickly verify Eiffel programs without worrying about complex dependencies. The Docker image is ideal for researchers and educators working with formal verification.

Evolution Showcase

Evolution Showcase on GitHub
Evolution Showcase is a small Python game that visually demonstrates the principles of evolution and natural selection. In the game, agents exhibit random behaviors, but over time, those best suited to the environment are selected, resulting in non-random strategies. The project serves as an educational tool for illustrating evolutionary algorithms and emergent behavior.

OpenSCAD Phone Stand

OpenSCAD Phone Stand on GitHub
This project features a customizable 3D model of a phone stand, created using OpenSCAD. The design is fully parameterized, allowing users to adjust dimensions to fit any mobile phone model. It is ideal for 3D printing enthusiasts.

This website

This website on GitHub This website was done using mkdocs with a custom template and styling. It is automatically deployed to retoweber.info.