[TYPES/announce] PhD positions in Formal Methods for Safety and Security at DTU

[Flemming Nielson]

(Applicants with a types background are welcome to apply)

*** PLEASE POST TO ANYONE INTERESTED ***

We are happy to announce two attractive PhD positions in Formal Methods for Safety and Security at The Technical University of Denmark (DTU).

The positions are for three years starting summer / early Autumn 2012 and will be part of the SESAMO project funded by EU ARTEMIS and comprising 14 industrial and 6 academic partners.

Terms of appointment are compatible with entry level industrial positions; further details and information about the application procedure can be found on

http://www.dtu.dk/English/About_DTU/vacancies.aspx?guid=2d6f5f2f-da7d-4bbf-af83-56c648eab4bd

The call closes on May 14'th 2012.

Flemming Nielson & Hanne Riis Nielson

*** PLEASE POST TO ANYONE INTERESTED ***
3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120417/a91ef1d2/attachment.html>