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
-
to emerging carbon dioxide removal techniques. To this end, distributed pelagic imaging techniques enable the sustained observation of aquatic life and its debris, comprehensively covering the earth’s water
-
inequalities, and [4] developing new methods, in particular longitudinal modelling approaches, methods for causal inference, and techniques leveraging genetic data. We are also open to applicants interested in
-
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
-
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
-
in the development of new smart devices for communication, sensing, and electronics. The postdoctoral project will encompass various aspects ranging from the synthesis and modification of small organic
-
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
-
the programme as a tandem Academic Requirements Predocs: graduates (Master's, Diploma or State Examination) from a German or international university in the transition phase at the end of their university studies
-
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