Sort by
Refine Your Search
-
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
-
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
-
, ultracold quantum gases, quantum simulation, quantum computing, and verification of quantum devices. For inquiries, please send your curriculum vitae and a brief research statement. Candidates should also
-
Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association | Dresden, Sachsen | Germany | 5 days ago
contribution to our focus project of realizing online-adaptive proton therapy, enabled by an AI driven, fully automatized feedback loop of imaging, PGI-based treatment verification and fast adaptation. Therefore
-
‘verification’ within the Cluster. Collaboration with colleagues at the Cluster, at PRIF and at JLU. Support for the local, national, and international networking activities of the Research Group, the Cluster and
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods