Erweiterung des Open Source Roboters “LeRobot”

In Kooperation mit Coherent in Lübeck Warum das spannend ist Kontext & Ziel Heute wird Qualitätsprüfung bei Coherent in Lübeck noch manuell erledigt. Kommerzielle Tools gibt’s, aber ein erklärbarer In‑house‑Prototyp ermöglicht schnelleres Lernen, Kostenkontrolle und höhere Akzeptanz bei den Nutzer*innen. Ziel der Arbeit ist ein produktnaher Prototyp, der robust, nachvollziehbar und betreibbar ist. Leitfragen Datensatz […]

Redirecting Clang’s MCDC Coverage Instrumentation to ARM CoreSight: A High‑Performance, Hardware‑Backed Coverage Collection Framework

in Kooperation mit Coherent Lübeck Warum das spannend ist Kontext & Motivation Industrielaser erzeugen umfangreiche Telemetrie (Temperaturen, Ströme, Leistungen, Interlocks, Fehlercodes). Historische Felddaten und Burn‑in‑Tests sollen genutzt werden, um Ausfälle rechtzeitig vorherzusagen, Ursachen schneller einzugrenzen und Wartung präventiv zu planen. Leitfragen Datensatz Mögliche Aufgaben Ergebnisse

AI‑Enhanced Formal‑Methods‑as‑a‑Service: Designing, Implementing, and Evaluating an MCP‑Based Backend that Powers a VS Code Copilot Extension for Automated Program Analysis and Verification.

FPGA‑Based Quantum‑Computer Simulator with a Web‑Based Design‑Run‑Analyse Front‑End

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

A Master’s thesis is to be implemented within the context of the Open KI IoT Hub project. The project focuses on an open platform for utilizing Schleswig-Holstein’s unique, state-wide LoRaWAN network. The platform aims to enable users to integrate LoRaWAN-capable sensors, connect them to the state-wide network, and collect, visualize, and perform AI-supported analyses on […]

This project aims to develop a machine learning model capable of reconstructing a 3D volume using the ultrasound images of a forearm, tracked probe data, and the calibration matrix as inputs. The model should be able to compensate for inaccuracies in the calibration matrix, thereby improving the accuracy of the reconstructed 3D volume. What you […]

Future Internet architectures such as Named Data Networking (NDN) rely heavily on in-network caching to improve performance and reduce latency, an especially valuable feature for resource-constrained IoT environments. However, current IoT-NDN deployments lack mechanisms to securely control how caches are manipulated. Unauthorized insertions, evictions, or modifications of cached data can lead to cache poisoning, cache […]

Inductive Logic Programming (ILP) is a form of symbolic machine learning, where logic programs (e.g., Prolog or ASP) are synthesized from input/output examples. These synthesis tasks are notorious for their large search space. Modern approaches use a conflict-driven search to constrain this search iteratively. This procedure is usually implemented using constraint programming solvers operating on […]