Erweiterung des Open Source Roboters “LeRobot”

Bei der konventionellen Ultraschalluntersuchung muss die Sonde fest auf den Bereich des Unterarms gedrückt werden, in dem möglicherweise eine Fraktur vorliegt, was für junge Patienten äußerst schmerzhaft sein kann. Ziel dieses Projekts ist die Entwicklung eines kontaktlosen, robotergestützten Ultraschallscansystems, um die Diagnoseergebnisse zu verbessern und die Beschwerden der Patienten bei der Frakturerkennung zu verringern. Um […]

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 […]

In conventional ultrasound imaging, the probe must be pressed against the potentially fractured region of the forearm, which can be extremely painful for young patients. This project aims at the development of a contactless robot-assisted ultrasound scanning system to improve diagnostic outcomes and reduce patient discomfort during fracture detection procedures. To accurately scan the target […]