Sort by
Refine Your Search
-
of power grids, join us! 3. BRIEF PRESENTATION OF THE WORK PROGRAMME AND TRAINING: - Survey of the state of the art regarding dynamic and steady-state analysis of AC/DC hybrid distribution networks and
-
(R1) Country Singapore Application Deadline 26 Sep 2025 - 00:00 (UTC) Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU
-
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