DTU Informatics Graduate School ITMAN would like to invite applications for a 3-year PhD position starting September 1st, 2009. The position is offered in collaboration with the research consortium MT-LAB, www.mt-lab.dk/. The project is financed by the Villum Kann Rasmussen Foundation, the Technical University of Denmark, and the Danish Agency for Science, Technology and Innovation under the graduate school program ITMAN.
Project Description
In order to guarantee the stability of the IT infrastructure of our future society it is essential that a number of fundamental properties can be validated for the IT Systems of interest. Due to their interaction with the surrounding, physical environment, the modelling and validation of embedded and service oriented systems must include stochastic aspects for ensuring performance, as well as good resource usage. State of the art algorithms for stochastic and performance analysis are not commonly implemented in standard software and tools based on process algebra.
The first goal of this project is to cross fertilize the two fields of program analysis and performance modelling bringing together the most recent development of each field. Secondly, the project will enhance the modelling capabilities and the ultimate goal is to develop methods and algorithms that simultaneously take several design variables into consideration.
The first part of this project aims at the implementation and application of recent methods of performance modelling in process algebra models. It is expected that theoretical as well as algorithmic problems will arise and will be solved during this phase.
More conceptually novel is the second part of the project aiming at generalizing process algebra languages to facilitate modelling with non-exponential distributions in the form of the so-called phase type distributions. These distributions allow for much more general stochastic modelling while still creating models that can be investigated using the general theory of discrete and continuous Markov chains.
The ultimate goal is to initiate the development of new theory and methods for Markov reward processes to be applied in connection with process algebras. The research hypothesis is that we will be able to develop methods and algorithms that provide the possibility of making probabilistic enquiries for several simultaneous phenomena. These methods are then to be incorporated into a process algebra possibly by modifications of existing ones. One example could be that one will be able to answer questions like "What is the probability that a given program will complete its task within 5ms using no more than 100mW?”.
Requirements
Candidates should hold an MSc degree in applied mathematics, computer science, or engineering, or equivalent academic qualifications. Preference will be given to candidates who can document skills in areas such as stochastic processes with emphasis on discrete state space models and formal verification in particular knowledge of static analysis, model checking or both, and previous employment related to these. Furthermore, English proficiency is essential.
Approval and Enrolment
The scholarship for the PhD degree is subject to academic approval, and the candidate will be enrolled in ITMAN Graduate School Program under the DTU Informatics graduate school.
Information about the general requirements for a PhD at DTU: application, enrolment, documentation, general planning and structure, etc. can be found here.
Salary and appointment terms
The salary and appointment terms are consistent with the current Danish rules for PhD students.
Further Information
|
