[TYPES/announce] PhD Position in Formal Methods for Security

[Alberto Lluch Lafuente]

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 (samo at dtu.dk).

Best regards,

Alberto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180222/f8ca1a8a/attachment.html>