Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
efficiency while keeping the grid reliable and secure. Our research method is engineering-oriented, prototype-driven, and highly interdisciplinary. Our typical research process includes the evaluation
-
The Leibniz Institute for Agricultural Engineering and Bioeconomy is a pioneer and a driver of bioeconomy research. We create the scientific foundation to transform agricultural, food, industrial
-
energy efficiency while keeping the grid reliable and secure. Our research method is engineering-oriented, prototype-driven, and highly interdisciplinary. Our typical research process includes
-
- 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