PhD Scholarships in Models and Logics for Verification and Analysis, Technical University of Denmark (DTU), Denmark
Models and Logics for Verification and Analysis
Technical University of Denmark
We are happy to announce a number of PhD stipends 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.
The stipends 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. Candidates must hold an MSc, or equivalent, before taking up the stipend and must satisfy the regulations of DTU for being admitted to PhD study.
Successful candidates will join a group of more than 20 PhD 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.
The scholarships will be filled continuously during 2010.
Approval and Enrolment
The scholarship for the PhD degree is subject toacademic 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 or from the PhD program officeat tel: +45 45251176 or + 45 45251177.
Further information concerning the application is available at the DTU Informatics PhD homepage.
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 at here and contact Marian Adler (masad[ at ]imm.dtu.dk) in case of questions.
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[ at ]imm.dtu.dk for a discussion of how to finalise the descriptionof the research programme so as to fit your interests as well as those of MT-LAB.
4. Submit the formal application by the dead-line of March 1st 2010 by applying online here.
All candidates irrespective of age, gender, race, religion or ethnic background are encouraged to apply.
For more information, please refer to the official announcement.