-
- 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
-
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
-
and diverse project within a nationwide research network with numerous opportunities for development, working within a dynamic and international team of scientists from various disciplines, as
-
and industry partners A diverse range of activities in exciting, forward-looking, and varied research fields and projects, with numerous development opportunities Modern hardware and infrastructure
-
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