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

Dear colleagues,

There is an open position in Formal Methods for Security in our group at
the Technical University of Denmark.

Detailed information can be obtained here

http://www.dtu.dk/english/career/job?id=fd9cdcd8-a62f-4488-9b39-0ed8c0723980

or by contacting the principal investigator of the project Sebastian
Mödersheim (s...@dtu.dk).

Best regards,

Alberto

Reply via email to