[TYPES/announce] Attractive PhD-scholarships at DTU

Flemming Nielson nielson at imm.dtu.dk
Tue Feb 6 08:13:51 EST 2007


PLEASE POST: Attractive PhD-scholarships at DTU

We are happy to announce two very attractive PhD-scholarhips at the
Technical University of Denmark. They are tenable within the areas:

   1. Aspects for security of citizens
   2. Verification of cryptographic protocols
   3. Information flow security for services
   4. Model-based verification of service-oriented systems
   5. Sessions for services

The salary is at the level of assistant professor and the project
are in cooperation with some leading European Universities.

For further details: http://www2.imm.dtu.dk/~nielson/PhD07

Professor Flemming Nielson, (+45) 4525 3735, http://www.imm.dtu.dk/~nielson




More information about the Types-announce mailing list