[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