[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

Reply via email to