The research project is part of the newly established DFG Collaborative Research Centre (CRC) 1270 ‘Electrically Active Implants’ (ELAINE) at the University of Rostock.
In the project, simulation studies will be conducted to study in close cooperation with experimentalists cellular responses to external electrical fields. These studies refer to different spatio-temporal scales from membrane related dynamics up to cell functions like differentiation and cell-cell interaction. For developing such models and executing individual in-silico experiments and even entire simulation studies effectively, domain-specific languages play an increasingly important role. The methodological research aims at exploring this role for multi-scale spatio-temporal simulation studies more deeply, at advancing multi-scale spatio-temporal modelling languages and their efficient execution, and at refining spatio-temporal logics for an effective model-based checking of trajectories.
Applications for a doctoral researcher position in the project are invited.