Sort by
Refine Your Search
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
“NANeurO,” which focuses on the development of injectable nanoelectrodes for wireless and minimally invasive neural stimulation. About us The NEN Lab works with new materials for wireless communication with
-
will join the newly established research group of Dr. Torsten V. Zache at the Technical University of Munich. Our group is broadly interested in the theoretical development and application of quantum
-
. German language is not required. The successful candidate will have the opportunity to work on an exciting and diverse project within a nationwide research network, with numerous opportunities for development
-
journals (e.g., ICRA, RSS, IJRR) Active participation in European robotics and AI research initiatives Support for personal and professional development, including teaching, supervision, and leadership roles
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
us As a globally renowned institute in the field of brewing, beverage, and grain technology, we aim to always be at the forefront of scientific research. The development, implementation, and provision
-
us We are TUM’s unique Pathology AI lab developing new machine learning (ML) methods for automatically analyzing digital pathology data and related medical data. Such methods include the automatic
-
harms, but also how these harms should be redressed through multi-sited ethnographic fieldwork. This fieldwork will be integrated with participatory design workshops to develop specific interventions
-
well as application optimization. This research focuses on the development of a parallel debugging framework tailored for custom RISC-V instruc-tion set extensions. The goal is to enable efficient execution tracing