Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
and technologies. The institute employs an average of 500 people from over 40 nations and, in addition to its scientific tasks, is dedicated to promoting young scientists and engineers. Further
-
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