Sort by
Refine Your Search
-
Research Group “OpTBtreat (Optimising tuberculosis treatment: causal inference framework and mathematical modelling to support the development, prioritisation, and impact assessment of novel tools and
-
join our Modelling & Data Science Team and support two international research projects aiming to advance diagnostic tools for tuberculosis and respiratory infections (incl. breath-based tools) through
-
research, public engagement, teaching, facilitation, or interdisciplinary leadership). Application: Interested applicants should submit the following documents via our online application tool: A cover letter
-
workflows within selected ELM use cases by developing code to create semantic annotated data structures. Development of metadata schemas for typical synthetic biology steps and methodologies in ELM research
-
(e.g. RNAi, CRISPR/Cas9, small-molecules). In this context, we also develop new computational tools for automated analysis and data visualization. These include algorithms and software applications
-
++, 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 required What
-
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 are currently stuck in academia
-
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
-
(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 computer science. It
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
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 control