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
-
: To have a PhD in Biology, Microbiology, Agricultural Sciences or related areas obtained within the three years prior to the date of application for this research grant;; The place of development
-
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