[Denmark] PhD Project in IDEA4CPS
Application Deadline : 21September 2011.
Project Description
The IDEA4CPS project 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. This means that design decisions, analysis, simulation, testing, codegeneration, etc. are always based upon models that reflect the relevant aspects of the design. Thisrequires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.
Requirements
Candidates must have a master degree in computer science or computer engineering or equivalent academic qualifications. Preference will be given to candidates who can document their ability to further the goals of the project within one of the following areas:
-
Modelling and Analysis of Wireless Sensor Networks using Duration Calculus and similar techniques
-
Modelling and Analysis of Security Protocols using static analysis, model checking, type systems and similar techniques
Furthermore, good command of the English language is essential.
Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in the ITMAN Graduate School Programme of DTU Informatics. Information about the general requirements for enrolment and the general planning of the scholarship studies is included in the general rules at DTU, which may be obtained here.
Salary and appointment terms
The salary and appointment terms are consistent with the current Danish rules for PhD degree students.
Further Information
Further information concerning the project can be obtained from Professor Flemming Nielson or Professor Jan Madsen.
