Open PhD positions at 丹麦Aalborg大学, application deadline: November 15, 2011.
看到跟中国有关就发过来了。
CISS, Aalborg,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 (kgl@cs.aau.dk) or work package
leader Arne Skou (ask@cs.aau.dk) before November 15, 2011. 两步做这些东西？ 熊猫羊 发表于 2011-10-21 16:25 static/image/common/back.gif
两步做这些东西？
恩， 大方向都是 formal method 熊猫羊用于数据挖掘吗？发表于 22 分钟前
这方面的应用没有尝试过， 我们做formal method 中的 model checking（模型检验）， 有负责理论研究的， 有开发建模工具的， 还有使用这些建模工具做 industrial case studies 的， 这几年做的关于wireless sensor networks 的 case study 比较多 liangfudan 发表于 2011-10-21 19:33 static/image/common/back.gif
两部姐很牛
老板现在都不怎么给我派活了， 估计希望我赶紧毕业赶紧走人， 哈哈。
页:
[1]