[DMANET] Postdoctoral researcher in Security and Trust (July 2019)

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@uni.lu<mailto:ross.horne@uni.lu>

Sincerely,

Prof. Dr. Sjouke Mauw
Dr. Ross Horne
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************