[Job-offers-cs] Postdoctoral researcher in Security and Trust (July 2019)

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoctoral researcher in Security and Trust (July 2019)
Date: Wed, 8 May 2019 09:45:25 +0000
From: Ross James HORNE <ross.horne at uni.lu>
To: DMANET at zpr.uni-koeln.de <DMANET at zpr.uni-koeln.de>

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