[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ==================================================