Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
verification scalable and reliable. Learn more about logical zonotopes: [paper link ] | [talk link ]. You will conduct original research on logical zonotope based methods for model checking and digital circuit
-
ranges. • Design and optimize HSI data-processing workflows, including spectral calibration, preprocessing, classification, and mapping. • Integrate HSI with complementary spectroscopic techniques (Macro
-
forges strong links with companies and scientific institutions across the world. The Munich Institute of Robotics and Machine Intelligence (MIRMI) is a globally visible interdisciplinary research center
-
from the healthy mix of companies and startups of all sizes headquartered in the region and is tightly connected to regional research hospitals. The university also forges strong links with companies and
-
, and clinical information with imaging data. Explore and implement Generative AI approaches (e.g., data augmentation, reconstruction, simulation). Investigate and apply Vision-Language models for linking
-
writing. Drive the publication of research results in top-tier robotics conferences and journals. Requirements Ph.D. in Robotics, Mechanical Engineering, Electrical Engineering, Computer Engineering, or a
-
pipelines: from real-world data to mathematically and (e.g., clinically) applicable results Publication of results in scientific outlets (journals, conference papers, lecture contributions, etc.) Active
-
data synthesis. Their work will determine how urban features drive species diversity, how species diversity and urban features are represented in soundscapes and how these relate to human health and
-
The Professorship of Public Policy for the Green Transition (PPGT) focuses on designing and evaluating policies for the green transition worldwide. The group uses a variety of methods from automated data analyses
-
located on the new Heilbronn campus (not in Garching / Munich!) Your tasks Graphs are a fundamental data structure and are commonly used to model relationships between data points such as links between web