Sort by
Refine Your Search
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | 3 months ago
institute of the Max Planck Society and is dedicated to the study of human cognitive abilities and brain processes as well as the development of neuroimaging methods. The Brain Networks Group, led by
-
11.04.2025, Academic staff The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of automatic formal
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in