Experience

Approximate reading time: 11m58s

3d Vision Engineer

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

I work on an intraoral scanner (IOS) to scan teeth to get a 3d model. I am developping and improving deep learning models. Evaluate which problems might be solvable by deep learning and develop strategies how to realize this. I also improve coding guidelines.

PhD Student

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

• Mathematical Proof Engine: Developing an engine for validating mathematical proofs in an object-oriented programming language. Developed a first proof of concept for a simple proof.
• Formalization of Programming: Creating a formalization of programming, including many definitions and theorems, all separately verified in Isabelle HOL. (Link)
• AI for Formal Verification: Planning, executing, and analyzing a study on the effectiveness of LLMs in fixing bugs. (Link)
• Proof of Concepts: Developed CodeForge, a tool for compiling, executing, and verifying programs online without the need for local installation. Also developed AI-Proof, a tool using LLMs, Sledgehammer, and Isabelle HOL to automatically generate proofs. (Link)
• Teaching Assistant: Assisted in the courses Advances in Software Engineering and Software Construction, Architecture and Engineering. Responsibilities included teaching exercise sessions, writing and grading exams, and mentoring students.

---

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

• eID: Evaluated multiple SSI technologies for the Swiss electronic ID. Deployed them on a public cloud with blockchain technology. Constructed a frontend, backend, and mobile app. (Link)
• Fit&Proper: Extended an existing solution for automatically checking the background of people for the financial market supervisor using NLP and machine learning. (Link)
• Sustainability Assessment: Developed an MVP to help a team of sustainability experts find answers to their questions in their data, especially PDFs. The tool streamlines the process of extracting and analyzing information from large document collections. (Link)
• Construction Standard Management: Planned, developed, and deployed a solution for managing the most used construction standards in Switzerland (eBKP/NPK). This system improved efficiency and accessibility for industry professionals. (Link)
• Proof of Concepts: Built prototypes for a travel recommender system, as well as identity card and passport detection and parsing tools, showcasing the application of AI in diverse domains.

---

Software Engineer (Machine Learning, Computer Vision)

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

• Video Tracking: Implemented a proof of concept for a video tracking system to analyze player movements and actions in sports videos. Utilized computer vision techniques to extract relevant features and provide actionable insights for coaches and analysts.

---

Junior Security Researcher & Software Engineer

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

• Exeon Trace: Improved the main product by implementing a new feature for tracking and visualizing network traffic, enhancing the platform's security monitoring capabilities.
• Tridyo: Created an MVP for a new product analyzing the future viability of companies using sentiment analysis and fit and proper techniques. This project combined data science and software engineering to deliver actionable business intelligence.

---

Projects

Badi Beringen Campaign Site

GitHub, Website
Informational and campaign website for the non-partisan pro-committee "Ja zur Badi" for the public vote on September 27, 2026 in Beringen (Kanton Schaffhausen). The site presents arguments, facts, and background information for the complete renovation of the local open-air pool (Gwaagge-Badi) using a biological water treatment system (bio-fast filter) instead of chlorine. Built as a fast, accessible, and SEO-optimized static web application.

Parallelismus

GitHub, Web Demo
Parallelismus is a web application for studying biblical parallelism in Hebrew and Greek texts. It allows users to navigate through biblical books, chapters, and verses, viewing words with their Strong's concordance numbers, original language texts, and translations. Users can create and manage semantic relationships between words (such as similar meaning, opposite meaning, subcategories, and composition). The tool uses IndexedDB for local storage and includes visualization features for exploring word relationships through interactive graphs. All data processing happens client-side, making it a fully functional static web application.

Background Generator

GitHub, Web Demo
Background Generator is a procedural art suite that creates stunning SVG backgrounds using TypeScript. It includes five distinct generators: gradient abstractions with blobs and ribbons, polygalaxy scenes with geometric shards and orbital systems, terrain landscapes with mountains and fog, urban skylines with parallax layers, and botanical gardens with leaves and vines. The tool offers both a web playground for real-time experimentation and CLI tools for batch rendering. All generators support customizable themes, seeded randomization for reproducibility, and optional PNG export.

Python Blocks

GitHub, Web Demo
Python Blocks is a block-based Python editor built with Vue 3 and Pinia. It lets users assemble Python programs from visual blocks, inspect the generated Python live, import Python back into the canvas, and run the result directly in the browser with PyScript.

Buchfaltstudio

GitHub, Web Demo
Buchfaltstudio is a book folding pattern generator that creates precision folding instructions for book art (Orimoto). Users can either enter text (which is automatically rendered using Google Fonts) or upload images (SVG, PNG, JPEG, GIF, WebP). The tool analyzes the artwork, scales it to physical book dimensions, detects dark regions, and generates detailed PDF instructions with millimeter-precise fold positions. Features include automatic book preview rendering, customizable page count and book height, and fully client-side processing for instant results.

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.

LinkedIn WYSIWYG

GitHub, Web Demo
LinkedIn WYSIWYG is a browser-based editor for composing LinkedIn posts with Unicode formatting that survives paste. It provides bold, italic, decorative text styles, list markers, a LinkedIn-style preview, one-click copy, and a remove-formatting action. Everything runs client-side as a simple static web application.

CSV Editor

GitHub, Web Demo CSV Editor is a browser-based editor for viewing and editing tabular CSV data. It runs entirely client-side, making it useful for quick edits and checks without sending data to a server.

Diabetes GUI

GitHub, Web Demo Diabetes GUI is a client-side application for exploring glucose and diabetes data from CSV exports from FreeStyle Libre and LibreLink. It supports local analysis of personal measurement data in the browser.

XML Weaver

GitHub, Web Demo XML Weaver is a browser-based XML and schema editor. It supports structuring, editing, and understanding XML documents directly in the browser.

Reverse Chart

GitHub, Web Demo Reverse Chart is a client-side tool for charts, data analysis of diagrams. It helps capture values from existing charts and investigate relationships between data points.

mkdocs-piper-tts

GitHub, PyPI mkdocs-piper-tts is an MIT-licensed MkDocs plugin that caches Piper-generated speech for documentation pages and provides audio controls for templates. It is available as a standalone Python package through pip install mkdocs-piper-tts.

CodeForge

CodeForge on GitHub
CodeForge is a platform to compile, execute, and verify code across multiple programming languages using Docker containers. It is well-suited for educational environments and coding demonstrations. The containerized architecture simplifies integrating new languages and verification tools. It was built using vibe coding. It is partially online at eiffel.org.

PDF Scannen

PDF Scan Automation on GitHub
PDF Scan simplifies the organization of physical mail and documents. It processes batches of scanned documents, automatically splits them into individual files, aligns pages, and performs OCR to extract text. It was partially built using vibe coding. This tool reduces manual effort in digitizing and archiving paperwork. It is especially helpful for personal and small office use.

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.