[TYPES/announce] PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg

[Jun PANG]

The University of Luxembourg/ Centre for Security and Trust is seeking
to hire one research associate (postdoc) and one PhD candidate to
perform research in formal methods for voting systems. The positions
are part of the joint Luxembourg National Research Fund (FNR) and
Norwegian RCN project “SURCVS” on the design and evaluation of secure
yet usable voting systems.

The University offers highly competitive salaries and is an equal
opportunity employer. You will work in an exciting international
environment and will have the opportunity to participate in the
development of a dynamic and growing centre.

Successful candidates will participate in the activities of the
Security and Trust of Software Systems (SaToSS) research group led by
Prof. Dr. Sjouke Mauw. The group is focused on formalising and
applying formal reasoning to real-world security problems and trust
issues.

Further information and submission guidelines:

- PhD Candidate: http://emea3.mrted.ly/1wot8
- Research Associate (Postdoc): http://emea3.mrted.ly/1wol3

Applications will be considered on basis of receipt so an early
submission is encouraged; applications submitted within the stated
deadline will be given preference.

==================================================
Deadline for applications (for both positions): October 15th, 2018
==================================================