[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PhD scholarships and post-doc positions
in the research group LBT, Language Based Technology,
at DTU, Technical University of Denmark
Starting in the autumn 2008 a number of PhD scholarships and post doc
positions will be available in our research group. They will be funded
by MT-LAB, a VKR centre of Excellence opening in the autumn of 2008,
and a research project funded by the Danish strategic research councils.
MT-LAB is a cooperative project on "Modelling of Information
Technology" with researchers from the Technical University of Denmark,
Aalborg University and the IT-University of Copenhagen. The project
will study discrete, stochastic and continous properties of systems
and is organised according to the three themes (1) static analysis
versus model checking, (2) embedded systems versus service-oriented
architectures and (3) components versus global characteristic
features. The DTU partner is involved in all themes. For more details,
see http://www.mtlab.dk/.
The research project "Aspects of security for citizens" is in
collaboration with researchers at Imperial College London and explores
the principles behind adding security concerns to existing programs
after they have been fully developed and deployed. For more details,
see http://www.imm.dtu.dk/English/Research/Language-Based_Technology/Projects/Aspects.aspx
If you are interested in the positions please send your CV (including
references) together with a description of how you see your research
interests fit within the project(s). If you are interested in a PhD
scholarship we additionally need a transcript of your grades
indicating average scores for BSc and MSc and the maximum score
possible for each. Note that in Denmark a PhD scholarship covers
living expenses (a salary), tuition fees, as well as expenses needed
to carry out the research project.
Flemming Nielson (nielson(at)imm.dtu.dk)
Hanne Riis Nielson (riis(at)imm.dtu.dk)
---------------------------------------------------------------
Professor Flemming Nielson, (+45) 4525 3735, http://www.imm.dtu.dk/~nielson
