Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
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
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
11.02.2022, Wissenschaftliches Personal The Chair of Information-oriented Control (ITR) offers a PhD/PostDoc position within the 6G-life Research-Hub „Digital transformation and sovereignty
-
06.09.2021, Wissenschaftliches Personal The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is
-
WSI Quantum Sensing Group (Reinhard lab) 23.07.2020, Wissenschaftliches Personal The quantum sensing group at the Walter Schottky Institute of TUM is offering PhD and Postdoc positions to join our