Aalborg (CISS) Denmark: Several PhD positions
The IDEA4CPS center (www.idea4cps.dk) is a newly established Danish-Chinese basic research center on the foundations of cyber-physical systems. The center will research and develop mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. In order to pursue this goal, we seek several PhD applicants within the following research themes:
- Specification and modeling formalisms with special focus on resource-aware formalisms.
- Validation and analysis techniques with special emphasis on e.g. refinement and abstraction, quantitative analysis or model based testing and model learning.
- Compositionality with emphasis on components and interfaces for resources.
The ideal applicants have both a theoretical background as well as an interest in exploiting the results into algorithms, tools, and applications on selected industrial cases.
The center is a joint initiative funded by basic research organizations in Denmark and China, and it involves two partners in each country. This means that international collaboration will be a major theme of the research within the center.
Interested candidates may send further questions and a short statement of research interests (possibly with a short CV) to the Danish Principal Investigator Kim Guldstrand Larsen (email@example.com) or work package leader Arne Skou (firstname.lastname@example.org) before November 15, 2011.