Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
engineering, robotics, electrical engineering or a related field. Furthermore, you should have: experience with multi-agent systems, swarm robotics or distributed coordination of autonomous agents
-
-agent systems, swarm robotics or distributed coordination of autonomous agents experience with multi-robot or mission planning, autonomous decision-making or self-adaptive systems experience with robot
-
models); Strong programming skills in Python and experience with deep learning frameworks (e.g., PyTorch); Experience with distributed systems and edge AI; Strong publication record in reputable
-
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; probabilistic program
-
a team dedicated to the green transition. Who we are At the Department of Biological and Chemical Engineering we focus on living systems, the biology of organisms, efficient production, and
-
we focus on living systems, the biology of organisms, efficient production, and transformation of chemicals, materials and energy. We translate knowledge within biotechnology, food technology