Sort by
Refine Your Search
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair of Information-Oriented
-
quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky
-
). AI methods, and especially machine learning (ML) with deep neural networks have replaced traditional data analysis methods in recent years. The Technical University of Munich (TUM), together
-
., for quantum computing, microfluidics, or conventional circuits and systems. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world