Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Who we are ... At the Fraunhofer Institute for Wind Energy Systems IWES, the energy transition becomes a reality every day. Our focus topics are: offshore wind energy, hydrogen, test infrastructure and digitization. More than 400 employees – including around 100 students – from over 50 countries...
-
The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems
-
at the Technical University of Munich offers a PhD position in the area of automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in
-
26.03.2025, Professuren The Technical University of Munich (TUM) invites applications for the position of Professor in » Logic and Verification in Computer Science « W3 Associate or Full Professor
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
wide range of markets such as automotive, industrial and aerospace. Not all aspects of verification and validation can be adequately covered by purely RTL-based simulations. Specifically, demonstrating
-
The particular strength of the Fraunhofer Institute for Electronic Nano Systems ENAS lies in the development of smart systems - so-called intelligent systems for various applications. The systems combine electronic components, micro and nano sensors and actuators with interfaces for...
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
-mineralization rates from soil organic matter content and other N-balance components support monitoring, reporting and verification of greenhouse gas emissions and mitigation efforts support reduction in model
-
parametrization, estimate N-mineralization rates from soil organic matter content and other N-balance components support monitoring, reporting and verification of greenhouse gas emissions and mitigation efforts