-
- 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
-
to serious and costly accidents due to human error. Solutions to these problems, such as sustainable drives and autonomous navigation, are not yet fully developed and are still at the experimental stage
-
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
-
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
-
. 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
-
with large-scale data analytics frameworks (Hadoop, Spark, Flink, etc.) is desired - Interest in the development of software systems, very good knowledge and skills in programming with standard
-
13.03.2023, Wissenschaftliches Personal We are looking for motivated students to work on the development and implementation of a cheap and scalable ceramic processing concept towards a fully sprayed
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
of Information-Oriented Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and