Open Master's Thesis Positions

On this page you will find a selection of possible Master Thesis opportunities, some notified to us directly by the research groups of MEST Tutors and some listed on the SiROP database.

This list is not exhaustive, other Thesis projects might exist, please check the respective listings of Departments and research groups you are particularly interested in.

See also Internship opportunities.

Projects directly supplied by MEST Tutors

Master projects:

Projects from the SiROP Database

ETH Zurich uses SiROP to publish and search scientific projects. Here is a selection of projects currently available which may be suitable for MEST students. For more information visit external page sirop.org.

Automatic Control Laboratory

Verifiable Latent Space Control Design Beyond Stability and Forward Invariance

Low-dimensional latent space representations of dynamical systems provide a powerful tool for scalable control design. Over the last years, data-driven approaches for constructing latent space representations have gained popularity and shown great empirical success. While these methods are promising, they typically lack formal control guarantees as needed in safety-critical applications. In recent work, we provided a theoretical framework for designing controllers in such learned latent spaces that can provably guarantee stability and safety for the original system by exploiting approximate conjugacy between the latent and full dynamics. Yet, these guarantees are largely limited to using notions of Lyapunov and barrier functions, ensuring stability and forward invariance only. Modern autonomous control systems, however, must often satisfy richer temporal or logical specifications that involve deadlines, sequencing, and reactive behavior. This thesis will investigate how to extend our latent space control design framework beyond stability and forward invariance, towards achieving verifiable temporal and logic-based system behavior. The project combines insights from representation learning, formal methods, and control theory, aiming to unify latent space learning with verifiable control design. Show details 

Automatic Control Laboratory

Interaction-Aware Control Design with Provable Guarantees in Realistic Robotic Scenarios

This project builds on the guarantees introduced in to design, analyze, and validate an interaction-aware control stack for robotic systems operating among responsive agents. The approach couples an internal trajectory-prediction module that is explicitly updated as policies change with a distribution-free safety layer based on conformal tools that retain finite-sample coverage in the presence of feedback-induced shift and adversarial perturbations. The resulting uncertainty sets are composed with certified planning and safety filters such as control barrier functions and reachability-based shielding. Evaluation encompasses software simulation and on-robot trials in realistic interactive scenarios and compares against confidence-aware and reachability/ORCA-style baselines. Show details 

Automatic Control Laboratory

Probabilistically Safe Motion Planning in Uncertain Dynamic Environments

Autonomous robots operating in dynamic environments must plan around obstacles with uncertain future trajectories, such as pedestrians or vehicles. Existing motion planning approaches either ignore this uncertainty—risking collisions—or rely on heuristic safety margins, leading to overly conservative behavior without formal guarantees. This work establishes a principled, data-driven framework that integrates conformal prediction with the augmented Graph of Convex Sets (GCS) motion planning paradigm. The key insight is that the H-representation of obstacles in spacetime GCS naturally aligns with conformal prediction sets. By scaling the polytope constraints using conformal quantiles calibrated from trajectory data, we construct spacetime uncertainty sets with finite-sample coverage guarantees. Coupling these probabilistically certified sets with deterministic GCS planning yields end-to-end safety guarantees: the probability of collision is bounded by a user-specified risk level. This approach enables tunable, statistically grounded safety in motion planning under uncertainty. Show details 

Computational Design Laboratory (Prof. Bernd Bickel)

Simulation and computational design of chocolate egg dispensers

Chocolate egg dispensers, a rotating shaft inside a funnel-shaped container releasing exactly one egg at a time, pose a surprisingly rich engineering problem. Achieving consistent single-egg dispensing requires precisely tuned funnel and shaft geometries, as smooth, curved egg surfaces are prone to jamming and bridging under gravity. This project tackles the challenge computationally, asking whether we can algorithmically discover geometries that guarantee robust dispensing across a range of egg shapes. We combine rigid body simulation to predict and evaluate designs, with geometric analysis to derive principled design constraints. The student will also 3D print their designs, verify them physically, and eat chocolate eggs. Show details 

Automatic Control Laboratory

Runtime Monitoring with Formal Specification-Guided LLMs

Autonomous systems increasingly rely on complex software stacks and data-driven components whose behavior is difficult to fully verify before deployment. Runtime verification provides a lightweight mechanism for ensuring that a system execution satisfies formally specified properties \cite{lindemann2023conformal,bauer2011runtime,lukina2021into}. Classical runtime monitors are typically symbolic and algorithmically constructed from temporal logic specifications. These properties have to be specified a-priori by a domain expert, posing a practical bottleneck. This thesis investigates a novel paradigm in which the runtime monitor itself is implemented as a Large Language Model (LLM) so that the system specification can be provided via a natural language interface. While this has the advantage of not requiring expert knowledge and being able to change specifications on-the-fly, it is unclear how reliable such a monitoring approach would be, which necessitates additional formal structure on the problem formulation and implementation. Show details 

Urban Energy Systems

Evaluating the Impact of Urban Trees on Building Energy Performance Using Coupled Microclimate and Energy Simulation

Traditional building energy simulations often suffer from inaccuracies because they rely on static weather data that completely ignore the localized physics of the urban environment. This research directly addresses this flaw by evaluating the specific impact of urban trees on building energy performance. By utilizing an advanced, two-way coupled microclimate and energy simulation workflow, the study accurately captures the dynamic feedback loop between urban greenery and building energy demands. Show details 

Automatic Control Laboratory

De-bugging and Tuning of Learning Based Controllers

This project focuses on developing an autonomous debugging and tuning system for self-commissioning controllers in HVAC applications. These controllers automatically learn system dynamics and configure PI gains, but their performance depends on precise hyperparameter settings and adaptive tuning to address issues like misconfiguration or changing conditions. The goal is to create a program that analyzes controller behavior in real time, detects performance issues, and autonomously adjusts parameters for optimal operation. Key tasks include identifying critical hyperparameters, defining performance metrics, and designing a robust tuning algorithm. Numerical simulations will validate the approach across diverse scenarios, aiming for true plug-and-play functionality—enabling controllers to self-monitor and adapt like an expert engineer. Ideal for students with a background in control systems or automation, the project offers hands-on experience in adaptive control, system identification, and smart building technologies. Proficiency in MATLAB/Simulink and basic machine learning knowledge are beneficial. The project will be co-supervised with Belimo Automation AG. Show details 

Automatic Control Laboratory

No-Regret Zero-Shot Meta Reinforcement Learning for Control-Affine Systems

Offline reinforcement learning typically assumes access to a simulator capable of generating training tasks from a fixed distribution. However, despite potentially broad training coverage, real-world deployment often presents environments that are unique and never encountered during training. This mismatch is especially pronounced when policies trained offline in simulation are deployed on physical systems, where online episodic training is impractical or unsafe. In such scenarios, agents must adapt rapidly to a new environment using a single trajectory, operating in a zero-shot or one-shot setting. This thesis aims to develop no-regret algorithms for zero-shot meta reinforcement learning using a grey- box modeling approach. We assume partial knowledge of the system dynamics—specifically, the functional structure of the model—while treating the system parameters as unknown. This abstraction enables principled adaptation at test time and facilitates the derivation of rigorous performance guarantees. Crucially, it also allows the incorporation of safety and stability constraints, which are essential for deployment in cyber-physical systems. The focus of the project is on control-affine systems, which arise frequently in practical applications. The thesis investigates how bilinear and control-affine quadratic control problems, subject to additive non- stochastic disturbances, can be formulated within a zero-shot reinforcement learning or online optimization framework. Building on this formulation, the goal is to derive state-of-the-art online controllers that achieve low dynamic regret while ensuring robustness and stability. The proposed methods will be evaluated both through simulation studies and rigorous theoretical analysis, with guarantees in terms of bounded-input bounded-state (BIBS) stability and dynamic regret. Show details 

Automatic Control Laboratory

Robust Feedback Control for Robotic Carton Folding

This project aims to develop control strategies for robotic carton folding that explicitly regulate the evolution of the carton state during manipulation. Controlling articulated and partially deformable objects remains an open problem in robotic manipulation, particularly in contact-rich tasks such as carton folding, where success depends on precise coordination of motion, force, and compliance. The overall objective is to investigate control formulations that enable robust, generalizable folding behaviors beyond open-loop or purely trajectory-based execution. Show details 

Urban Energy Systems

Energy Communities as Local Flexibility Hubs: Assessing the integration of Mobile Energy Assets

Energy communities aim to maximize local renewable self-consumption, yet high PV penetration often leads to midday surplus exports at low value, highlighting the need for a systematic assessment of how flexible mobile energy assets, such as EVs and mobile storage, can be integrated to enhance community-level renewable utilization within economic and regulatory constraints. Show details 

Urban Energy Systems

Conceptual design of decentralised data centres in various urban building energy systems

The master’s thesis will conceptually design how decentralised data centre can be integrated and utilised within different types of buildings. There is a strong emphasis on achieving a technical solution that is both redundant and sustainable. Different types of buildings with different energy demands will be modelled to outline the integration of data centres. Show details 

Urban Energy Systems

Resilience assessment of residential energy systems using building archetypes, heating systems, and flexibility assets

The transition to renewable energy and the increasing frequency of extreme climate events challenges the resilience of residential energy systems. Assessing how different building types, heating systems, and flexibility assets (such as solar PV panels and electric vehicles) respond to extreme scenarios is crucial for ensuring energy security, minimizing emissions, and maintaining occupant comfort and af-fordability. A systematic, simulation-based resilience assessment framework integrating building models and Python-based analytics can provide actionable insights for energy system planning and policy. Show details 

Urban Energy Systems

Non-Intrusive Load Monitoring and Customer Segmentation assisted demand flexibility provision in Swiss Households

Switzerland is committed to transitioning to a renewable energy system. The Swiss government has set a target of achieving net-zero carbon emissions by 2050. This will require a significant increase in the use of renewable energy sources. The Swiss power grid is also vulnerable to imbalances be-tween supply and demand. Demand flexibility can help to mitigate this risk and ensure the reliable operation of the power grid. Demand flexibility is the ability to shift or reduce energy use in response to changes in sup-ply or price. This is becoming increasingly important as the power grid transitions to renewable energy sources, such as solar and wind power, which are intermittent and less predictable. Demand flexibility can help to balance the grid and reduce the need for expensive and polluting backup power plants. Non-Intrusive Load Monitoring (NILM) and customer segmentation modeling are powerful tools that can be used to develop demand flexibility programs. NILM can be used to identify high-energy-consuming appliances and to track their energy usage over time. Customer segmentation modeling can be used to identify different groups of customers based on their energy consumption patterns. This information can then be used to develop targeted demand flexibility programs that are more likely to be effective for each group of customers. Show details 

Urban Energy Systems

Categorization of the extreme events affecting demand side flexibility provision of smart energy system

Flexibility provision is crucial for Switzerland's electricity grid due to its high reliance on hydroelectric power. Switzerland intends to increase other renewable sources, which require balance with variable energy supply. Seasonal energy fluctuations and peak demand periods also necessitate adaptable consumption practices. Flexibility helps Switzerland in maintaining energy independence, integrating with the European electricity market, and supporting its decarbonization efforts. In this rapidly evolving landscape of smart energy systems, resilience has emerged as a critical area of study. In the context of this project, it highlights the importance of understanding how extreme social events can affect the demand side flexibility provision of smart energy systems. Such events may include natural disasters, widespread technological failures, or significant social unrest. Each of the above-mentioned events have the potential to destabilize energy consumption patterns and challenge the reliability of energy infrastructure. For instance, (i) during a heatwave, the effectiveness of demand response programs incentivizing consumers to reduce their electricity consumption might be lower due to increased reliance on air conditioning or, (ii) during a pandemic, changes in energy consumption patterns, such as increased residential use due to lockdowns, could alter the effectiveness of demand response programs. Show details 

Urban Energy Systems

Developing a Digital Twin of a Residential Unit in NEST Using EnergyPlus

This project focuses on transforming existing EnergyPlus building energy models into fully functional Digital Twins of office units of NEST. The goal is to enable real-time simulation, analysis, and control by integrating live sensor data from the NEST building at Empa. Show details 

Automatic Control Laboratory

Multi-Agent Grid Impedance Identification in Three-Phase Power Systems

This project investigates multi-agent grid impedance identification in three-phase power systems. It will develop and compare two approaches: a global multi-port identification framework and a locally simultaneous multi-agent single-port identification framework. The study will evaluate and compare the accuracy of the two approaches and explore potential downstream applications in stability analysis and control design. Show details 

JavaScript has been disabled in your browser