Erfahrung

3D Vision Engineer

Brütsch Technology
Beringen, Schweiz
Okt 2025 – heute
Deep Learning, Python, Computer Vision

Ich arbeite an einem Intraoral-Scanner (IOS), um Zähne zu scannen und daraus ein 3D-Modell zu erzeugen. Ich entwickle und verbessere Deep-Learning-Modelle, bewerte, welche Probleme sich sinnvoll mit Deep Learning lösen lassen, und erarbeite Strategien zur Umsetzung. Zusätzlich helfe ich dabei, Coding-Guidelines zu verbessern.

Doktorand (PhD)

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

• Mathematical Proof Engine: Entwicklung eines Engines zur Validierung mathematischer Beweise in einer objektorientierten Programmiersprache. Erste Machbarkeitsstudie (Proof of Concept) für einen einfachen Beweis.
• Formalisierung der Programmierung: Aufbau einer Formalisierung von Programmierung (Definitionen und Theoreme), einzeln verifiziert in Isabelle/HOL. (Link)
• AI für formale Verifikation: Planung, Durchführung und Analyse einer Studie zur Wirksamkeit von LLMs beim Bugfixing. (Link)
• Proof of Concepts: Entwicklung von CodeForge, einem Tool zum Kompilieren, Ausführen und Verifizieren von Programmen online (ohne lokale Installation). Zusätzlich Entwicklung von AI-Proof, das LLMs, Sledgehammer und Isabelle/HOL nutzt, um automatisch Beweise zu erzeugen. (Link)
• Teaching Assistant: Unterstützung in den Kursen Advances in Software Engineering und Software Construction, Architecture and Engineering (Übungslektionen, Prüfungen verfassen und korrigieren, Mentoring).

Data Scientist

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

• eID: Evaluation mehrerer SSI-Technologien für die Schweizer E-ID. Deployment in einer Public Cloud mit Blockchain-Technologie. Umsetzung von Frontend, Backend und Mobile App. (Link)
• Fit&Proper: Erweiterung einer bestehenden Lösung zur automatischen Background-Check-Unterstützung für eine Finanzmarktaufsicht mittels NLP und Machine Learning. (Link)
• Sustainability Assessment: Entwicklung eines MVP, um einem Team von Nachhaltigkeitsexpert:innen zu helfen, Antworten in ihren Daten (insbesondere PDFs) zu finden. Das Tool vereinfacht das Extrahieren und Analysieren von Informationen aus grossen Dokumentensammlungen. (Link)
• Construction Standard Management: Planung, Entwicklung und Deployment einer Lösung zur Verwaltung der wichtigsten Baustandards in der Schweiz (eBKP/NPK). Das System verbesserte Effizienz und Zugänglichkeit für Fachpersonen. (Link)
• Proof of Concepts: Prototypen für ein Reise-Empfehlungssystem sowie Tools zur Erkennung und zum Parsing von IDs und Pässen.

Software Engineer (Machine Learning, Computer Vision)

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

• Video Tracking: Proof of Concept für ein Video-Tracking-System zur Analyse von Bewegungen und Aktionen in Sportvideos. Einsatz von Computer-Vision-Methoden, um relevante Features zu extrahieren und verwertbare Insights für Coaches und Analyst:innen zu liefern.

Junior Security Researcher & Software Engineer

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

• Exeon Trace: Verbesserung des Hauptprodukts durch eine neue Funktion zur Nachverfolgung und Visualisierung von Netzwerkverkehr, was die Sicherheitsüberwachung der Plattform stärkte.
• Tridyo: Entwicklung eines MVPs für ein neues Produkt zur Analyse der zukünftigen Rentabilität von Unternehmen mittels Sentimentanalyse und Fit-&-Proper-Ansatz.

Projekte

Hoare-Logic Proof Verifier

GitHubWeb Demo
Dies ist ein Hoare-Logik-Verifier, der vollständig im Browser läuft. Man kann Programme und Beweise per Drag & Drop erstellen. Die Beweise müssen bis zum Ende explizit geführt werden. Logische und arithmetische Beweispflichten werden an den SMT-Solver Z3 übergeben. Das Tool ist komplett frontend-basiert; es braucht keinen Server und funktioniert daher auch auf dieser statischen Website.

CodeForge

CodeForge on GitHub
CodeForge ist eine Plattform, um Code in mehreren Programmiersprachen zu kompilieren, auszuführen und zu verifizieren. Dafür werden Docker-Container genutzt, damit die Codeausführung sicher bleibt. Die Plattform eignet sich für Bildungsumgebungen und Coding-Demos. Die containerisierte Architektur erleichtert die Integration neuer Sprachen und Verifikationstools. Es wurde komplett „vibe coded“. Es ist teilweise unter eiffel.org online.

PDF Scannen

PDF Scan Automation auf GitHub
PDF Scan ist ein Projekt, das die Organisation von physischer Post und Dokumenten vereinfacht. Es verarbeitet Stapel gescannter Dokumente, erkennt automatisch, wo sie in einzelne Dateien getrennt werden müssen, richtet Seiten aus und führt OCR durch, um Text zu extrahieren. Das reduziert den manuellen Aufwand bei Digitalisierung und Archivierung. Es ist besonders hilfreich für den privaten und kleinen Bürogebrauch. Es wurde teilweise „vibe coded“.

AutoProof Docker

Autoproof Docker auf GitHub
Dieses Projekt bietet eine Docker Bild für den Betrieb AutoProof, einen statischen Prüfer für Eiffelprogramme. Durch die Containerisierung von AutoProof wird der Setup-Prozess unkompliziert und plattformunabhängig. Benutzer können Eiffel-Programme schnell überprüfen, ohne sich um komplexe Abhängigkeiten kümmern. Das Docker-Bild ist ideal für Forscher und Pädagogen, die mit formaler Verifikation arbeiten.

Evolution Showcase

Evolution Showcase on GitHub
Evolution Showcase ist ein kleines Python-Spiel, das visuell die Prinzipien der Evolution und der natürlichen Selektion zeigt. Im Spiel zeigen Agenten zufällige Verhaltensweisen, aber im Laufe der Zeit werden diejenigen ausgewählt, die für die Umgebung am besten geeignet sind, was zu nicht-random Strategien führt. Das Projekt dient als pädagogisches Instrument zur Veranschaulichung evolutionärer Algorithmen und auftauchendem Verhalten.

OpenSCAD Telefon Stand

OpensCAD Telefon Stand auf GitHub
Dieses Projekt verfügt über ein anpassbares 3D-Modell eines Telefonstands, das unter OpenSCAD erstellt wird. Das Design ist voll parametriert, so dass Benutzer die Abmessungen an jedes Handymodell anpassen können. Es ist ideal für 3D-Druckenthusiasten.

Diese Website

Diese Website auf GitHub Diese Website wurde mit MkDocs mit einer benutzerdefinierten Vorlage und eigenem Styling gebaut. Sie wird automatisch unter retoweber.info veröffentlicht.