[ 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


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

Best regards,


Reply via email to