Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
5 Feb 2026 Job Information Organisation/Company Université de Limoges Department DRH-RECHERCHE Research Field Educational sciences Literature Cultural studies Researcher Profile First Stage
-
be finalised by July 2026. Supported Areas for START Infocomm Technology Information Security: Mobile security, cyber-physical systems, IoT security, security analytics, operational cybersecurity
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
11.02.2022, Academic staff The Chair of Information-oriented Control (ITR) offers a PhD/PostDoc position within the 6G-life Research-Hub „Digital transformation and sovereignty of future
-
). 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
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers