-
. The candidate will design algorithms that synchronize and fuse heterogeneous data sources to improve perception robustness under variable underwater conditions. Segmentation and classification: Training
-
Localization and Mapping) algorithms to enable reliable navigation of the UUV relative to the USV and the environment. This includes handling the challenging conditions of subsea localization (limited GPS, murky
-
properties of skeletal muscle during static and dynamic contractions. The student will also participate in early-stage algorithmic work to model muscle architecture and behavior across contraction types. In
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic