The University of Luxembourg/ Centre for Security and Trust is seeking to hire one research associate (postdoc) to perform research in formal methods for voting systems. The position is 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. 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 group is focused on formalising and applying formal reasoning to real-world security problems and trust issues. Further information and submission guidelines can be found at http://emea3.mrted.ly/20buh 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: January 15th, 2019 ================================================== ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
