Sort by
Refine Your Search
-
Category
-
Field
-
experience with ROS Experience with simulation tools such as MuJoCo, Gazebo Prior exposure to machine learning and perception systems is an advantage Excellent communication skills and proficiency in English
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
, and image analysis tools and working on a computing cluster (HPC). Vivid Interest in interdisciplinary research, leading and working on projects with pathologists, medical experts, computer scientists
-
strategies withing current and emerging software packages and tools (Chao et al. Nat Immunol 2023, Almeida et al. Sci Immunol 2022) The successful candidate will be hosted in the Department Infection
-
, building model checkers (also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical
-
of targeted therapies. Analyzing high-dimensional single-cell data has its own statistical and computational challenges, and standard tools often cannot be applied. The purpose of the position and goal
-
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
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical
-
sense of touch with low-magnitude normal and shear forces as well as sensing of multiple contact points. Additionally, the end effectors need to be modular to handle different surgical tools. Furthermore
-
research into novel sensors and discover their applications. A core tool of the group are diamond quantum sensors for magnetic fields. Your project You will spearhead one major research effort of our lab