Tuesday, November 10, 2015

[DMANET] Post-doc position at the University of Luxembourg

The University of Luxembourg seeks to hire an outstanding post-doctoral
researcher at its Interdisciplinary Centre for Security, Reliability and
Trust (SnT). The successful candidate will participate in the activities
of the Security and Trust of Software Systems (SaToSS) research group
led by Prof. Dr. Sjouke Mauw. The SaToSS group is working on formalising
and applying formal reasoning to real-world security problems and trust
issues. The research topics of the group include: security protocols,
security modeling, formal methods for security, socio-technical aspects
of security, risk management, privacy, verification, etc.

The position is within the national project "Distance Bounding: a graph
theoretical and formal approach" (DIST). The objectives of DIST are
twofold. First, establishing the relation between graph properties,
graph-based hash functions, and graph-based distance bounding protocols.
Second, developing a symbolic approach for the formal verification of
distance bounding protocols.

The university offers a one year employment that may be extended up to
five years. The successful candidates will be working in an exciting,
international and multicultural environment. The university offers
highly competitive salaries and is an equal opportunity employer.

We welcome applications from candidates who have completed a Ph. D.
degree in Mathematics or Computer Science by March, 2016. Preference
will be given to applicants with proven interest in security and graph

Applications will be considered on receipt therefore applying before the
deadline is encouraged.

For further information and to submit your application please visit:

Deadline for applications:

7 Dec, 2015

Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Rolando Trujillo Rasua (rolando.trujillo@uni.lu)
* 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.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/