-
the MATSim agent-based transport simulation framework. The main task is to enable simulated agents to choose transportation modes, such as car, bus, bike, or walking, based on real-time feedback from
-
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
-
gastrointestinal (GI) cancer in order to develop novel therapeutic strategies to combat colorectal-, liver-, biliary tract and pancreatic cancer. In their doctoral research projects, trainees will combine
-
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
-
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