[TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)

[Ross James HORNE]

Dear colleague,

The University of Luxembourg offer a competitive postdoctoral research position in formal methods applied to security and privacy.

Postdoctoral researcher in Computer Science (Security and Trust)
The ideal candidate for this position would have experience in formal methods applied to the analysis of security protocols. Topics are not limited to distance bounding protocols (used to avoid relay attacks), and the verification of privacy properties.

Apply here: http://emea3.mrted.ly/220ah
Euraxes: https://euraxess.ec.europa.eu/jobs/368519

Start: from 1 July 2019

The position also appears here: http://satoss.uni.lu/vacancies/
===-------------
Applications will be considered upon receipt, so early applications are encouraged. Please do not hesitate to contact us with questions at: ross.horne at uni.lu<mailto:ross.horne at uni.lu>

Sincerely,

Prof. Dr. Sjouke Mauw
Dr. Ross Horne
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190508/8a738d74/attachment-0001.html>