Conducting research on the following topics in secure, usable and robust cryptographic voting systems: Automatically verifiable security proofs for real voting systems. Symbolic verification techniques for voting systems. Cryptographic tools for dealing with humans in voting protocols. Exploring quantum-safe algorithms and everlasting privacy in voting systems. Coordinating research projects and delivering outputs. Collaborating with partners in the SURCVS project
A PhD degree in computer science or mathematics. Documented research experience in the design and analysis of security protocols. A proven interest in security and privacy. Commitment, team working and a critical mind. Fluent written and verbal communication skills in English are mandatory
UOL02392 15-Jan-2019 Company Text The University of Luxembourg is a multilingual, international research University. The Interdisciplinary Centre for Security, Reliability and Trust (SnT) invites applications from PhD holders in the general area of information security. SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the EU H2020 and the European Space Agency. The Centre is currently expanding its research activities and is seeking highly motivated research associates who wish to pursue research in formal methods for voting systems. 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 works on formalising and applying formal reasoning to real-world security problems and trust issues. The research topics of the group include security protocols, security modelling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc. We welcome applications from candidates who have completed a Ph.D. degree in computer science or mathematics. Preference will be given to applicants with proven interest in security protocols and their analysis. For more information on the SaToSS group and SnT please visit: http://satoss.uni.lu/ and https://wwwen.uni.lu/snt Research Associate (Postdoc) in Formal Methods for Voting Systems (M/F) Ref: (50013445) - R-AGR-3433-11-C Fixed-term contract 18 months (CDD) On full-time basis (40 hours/week) Number of positions: 1 Start day: Early 2019 upon agreement Your Role The candidate will be part of the joint Luxembourg National Research Fund (FNR) and Norwegian RCN project “SURCVS” and will conduct research on the design and evaluation of secure yet usable voting systems. The project will be conducted jointly with the NTNU in Oslo and the research group APSIA at SnT. The candidate’s tasks include the following: Conducting research on the following topics in secure, usable and robust cryptographic voting systems: Automatically verifiable security proofs for real voting systems Symbolic verification techniques for voting systems Cryptographic tools for dealing with humans in voting protocols Exploring quantum-safe algorithms and everlasting privacy in voting systems Coordinating research projects and delivering outputs Collaborating with partners in the SURCVS project Providing guidance to PhD and MSc students Disseminating results through scientific publications For further information, please contact Sjouke.Mauw@uni.lu or Jun.Pang@uni.lu Your Profile A PhD degree in computer science or mathematics Documented research experience in the design and analysis of security protocols A proven interest in security and privacy Commitment, team working and a critical mind Fluent written and verbal communication skills in English are mandatory We offer The University offers a fixed-term employment (18 months fixed-term contract, which may be extended up to five years). 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 newly created research Centre. Further Information Applications, written in English should be submitted online and should include: A curriculum vitae (including your contact address, work experience, publications) A cover letter indicating the research area of interest and your motivation A research statement which addresses specifically the topic of the position (max 1 page) A short description of your PhD thesis (max 1 page) Contact information for 3 referees Deadline for applications : 15/01/2019. Applications will be considered on basis of receipt so an early submission is encouraged; applications submitted within the stated deadline will be given preference.
Please click here, if the Job didn't load correctly.
Please wait. You are being redirected to the Job in 3 seconds.