Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
. OBJECTIVES: The interest in direct current (DC) power distribution systems has been growing significantly, driven by the increasing use of power electronics-based loads and the rise of distributed energy
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
of Information-Oriented Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and