We are happy to announce a number of PhD scholarships on Models and Logics for Verification and Analysis as part of MT-LAB - a VKR Centre  of Excellence (www.MT-LAB.dk) lead by Flemming Nielson and Kim Guldstrand Larsen and involving researchers at the Technical University of Denmark, Aalborg University and the IT University of Copenhagen.

Qualifications
Candidates should have a master's degree in engineering or a similar degree with an academic level equivalent to the master's degree in engineering.

Successful candidates will join a group of more than 20PhD students from many countries in which the daily language of teaching and research is English and where most administrative personnel are good at English as well. Their study will include half a year of PhD courses, up to half a year abroad working with researchers at one of the many leading (mostly European) Universities we collaborate with, and will get basic training in how to teach, as well as ample time for carrying out their research.

In this call we particularly welcome candidates whose interests cover at least one of the following topics:

(a) The interplay between static analysis and model checking;

this may include the study of finite systems only (e.g. abstraction,symbolic datastructures, compositionality) or infinite systems built over a term language (e.g. for symbolic treatment of cryptographic protocols, e.g. involving normalisation based techniques).

(b) Methods and techniques for the analysis of discrete or stochastic features;

this may include features of embedded or service-oriented systems as well as the interplay between these application domains; stochastic techniques include Continuous Time Markov Chains, Markov Decision Processes, and Phase Type Distributions.

We are interested both in candidates aiming to perform foundational work and those that are interested in studying how to analyse concrete applications. We often describe our models using appropriate process calculi or suitable automata; similarly properties are often described in logics such as Alternation-free Least Fixed Point Logic, Computation Tree Logic, Continuous time Stochastic Logic or variants of these. Static analysis techniques incorporate Abstract Interpretation, Flow Logic, Type and Effect Systems; model checking incorporates discrete and stochastic model checking.

Salary and appointment terms
The scholarships are for three years, to be held at The Technical University of Denmark (DTU, Copenhagen, Denmark) and come with a monthly salary of about 3000€ and with paid tuition fees.

The scholarships will be filled continuously during 2010.

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. For information about the general requirements for enrolment and the general planning of the scholarship studies, please see the DTU PhD Guide.

Further information concerning the application is available at the DTU Informatics PhD homepage.

Further information
Further information may be obtained from Marian Adler, tel: +45 4525 3707

Application
If you are interested in one of the positions we advice you to proceed as follows (although only Step 4 is compulsory):

1. Study the regulations for the DTU PhD programme as described here
2. Please fill out a draft version of the application form that you find here(including transcripts of grades, the form for converting the grades to the Danish system, a letter of support from your advisor(s), and any scientific papers you might have written).
3. Please submit the material to Professor Flemming Nielson at the address mt-lab(a)imm.dtu.dk for a discussion of how to finalize the description of the research programme so as to fit your interests as well as those of MT-LAB.
4. Submit the formal application online by 1 March 2010. Please open the link "apply for this job online" and fill in the application form and attach your application, CV and above mentioned documents. 

All candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.

http://www.MT-LAB.dk