Sort by
Refine Your Search
-
interdisciplinary and international team of computational and experimental scientists, gaining unique opportunities to develop novel computational tools and pipelines for the analysis and integration of genomic
-
interpret data. Contribute to publications, presentations, and open-source tools related to the project. Your profile PhD in Bioinformatics, Computational Biology, Computer Science, Physics or a related field
-
programming (C++, Python), and experience with ROS Experience with simulation tools such as MuJoCo, Gazebo Strong project management and mentoring skills Excellent command of English; German is a plus but not
-
Experience with simulation tools such as MuJoCo, Gazebo Strong project management and mentoring skills Excellent command of English; German is a plus but not required What We Offer A highly dynamic and
-
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
-
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