Application Deadline : 21September 2011.
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.
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.