Sort by
Refine Your Search
-
of inflammation and cancer using shape- and size-tunable self assemblies (aza-BODIPYI) as contrast agents. This project is part of the Collaborative Research Centre 1450 “Insight – Multiscale imaging of organ
-
develop microbial biofactories that serve as platforms for the production of biopharmaceuticals, therapeutics, or novel agents for personalized medicine. In both of these research areas, we are each seeking
-
RAICAM aims to train a cohort of 10 PhD students to work on the next generation of mobile robots for inspection and maintenance of industrial facilities. RAICAM will develop a multi-domain, multi-agent
-
analysis of mobility behavior, the application of agent-based models and road space analysis, particularly for road safety. Research on walking and cycling as a cross-cutting issue has a high priority in all
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
. They work together to enhance our understanding of intelligence, cognition in autonomous agents, and teams of agents in the context of mediatised worlds. The insights are then transferred into a new
-
and data-driven models of sarcomere assembly. This will involve mean-field models and agent-based simulations. Additionally, depending on your aptitude, you can analyze topological defects of smectic
-
that release huge amounts of CO2. SusMet focuses on the exploration of carbon-free sustainable metallurgy, employing hydrogen as reducing agent, direct electroreduction (electrolysis), and plasma synthesis
-
develop data-inspired and data-driven models of sarcomere assembly. This will involve mean-field models and agent-based simulations. Additionally, depending on your aptitude, you can analyze topological