Electromagnetic Tracking of Pasture Fences

Maintenance of electric fences is essential to keep animals secure in pasture fields. For any automatic maintenance procedure, the location of the fence needs to be known. Techniques like GNSS or visual detection come with drawbacks that make them unapplicable for the real application, as the accuracy and reliablity are not high enough to precisely track the fence.

What you will do:

research on tracking algorithms
implement the chosen algorithm on a microcontroller providing measurement signals of the electric field.
Validate and test the localisation with a fence

What you should already know:

Microcontroller Programming
Pysics of Magnetism
Linear Algebra

What you will deliver:

Working prototype for localisation of electric fence
validation and evaluation of the method

AI‑Enhanced FMaaS for Copilot

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.

Martin Leucker

Bachelor / Master

Announced

ISP

FPGA‑Based Quantum‑Computer Simulator with a Web‑Interface

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

Formalising Trustworthy AI

Mapping the European AI HLEG Trustworthiness Framework to Formal Methods

Contactless Robotic Ultrasound Imaging for Pediatric Fracture Detection

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

Synthesis of Runtime Monitors for Normative Systems from C-O-Diagrams

This thesis is to be carried out in cooperation with Gerardo Schneider from the University of Gothenburg. Motivation and ImportanceNormative systems—systems governed by rules such as obligations, permissions, and prohibitions—are central to many modern domains, including autonomous systems, multi-agent coordination, legal-tech, and business process compliance. As software increasingly operates in open, dynamic environments, ensuring that behavior adheres to […]

Concept and Prototyp of a Security Framework in a Cloud-based Application

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

Dodging the Grounding Bottleneck in Program Synthesis

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

Diedrich Wolter

foundations

← All Thesis Topics

What you will do:

What you should already know:

What you will deliver:

Related Thesis Topics

AI‑Enhanced FMaaS for Copilot

FPGA‑Based Quantum‑Computer Simulator with a Web‑Interface

Formalising Trustworthy AI

Contactless Robotic Ultrasound Imaging for Pediatric Fracture Detection

Synthesis of Runtime Monitors for Normative Systems from C-O-Diagrams

Concept and Prototyp of a Security Framework in a Cloud-based Application

Dodging the Grounding Bottleneck in Program Synthesis