Research Associate in Information Assurance University of Luxembourg

The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the Horizon2020 programme and the European Space Agency. For further information you may check: www.securityandtrust.lu Research Associate in Information Assurance (M/F) Ref: R-STR-5004-00-B Fixed Term Contract 24 months (CDD), full-time (40 hrs/week), extendable to 36 months Number of positions: 1 Your Role The Team The researchers will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group, http://wwwde.uni.lu/snt/research/apsia. APSIA specializes in the mathematical foundations of information assurance: the mathematical modelling and analysis of information flows, the design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and anonymous marking systems and game-theoretic analysis of non-interference and coercion-resistance. The group has expertise in both the symbolic (formal methods) and the computational (“provable security”) styles of analysis and is investigating the links and synergies between them. The group has also established itself as a leading centre for the socio-technical aspects of security. The Project The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The approach of the project is holistic, in the sense that we plan to develop theoretical concepts (such as strategy- based metrics of information security) not for their own sake, but in order to apply them to an important domain of social life, and come up with guidance on the conduct of elections and novel designs for secure, usable voting systems. To this end, we are going to develop algorithmic tools that help to analyze the level of security and usability. Note also that, while we focus on voting procedures in the project, the concepts and tools being developed can be also applied to other domains where information security is important. For inquiries please contact: Main contact: Dr Jean Lancrenon, jean.lancrenon@uni.lu Other: Prof Dr Peter Y A Ryan, peter.ryan@uni.lu Your Profile A PhD in Computer Science, Applied Mathematics, Mathematical Physics or related field A proven interest in cryptography and security modelling Strong background in mathematics and computer science Commitment, team working and a critical mind Experience in cryptography or game theory will be considered as an advantage Fluent written and verbal communication skills in English are mandatory We offer The University offers a two-year appointment. The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international setting and participate in a fast growing and dynamic research environment. Further Information Applications, written in English should be submitted online and should include: Curriculum Vitae (including your contact address, work experience, publications) Cover letter indicating the research area of interest and your motivation A research statement which addresses specifically the topic of the position (300 words) Transcript of all courses and results from the university-level courses taken A short description of your PhD work (max 1 page) Contact information for 3 referees Deadline for applications: 7 October 2016 If you apply for this position please say you saw it on Computeroxy

The University of Luxembourg seeks to hire outstanding researchers at its Interdisciplinary Centre for Security, Reliability and Trust (SnT). SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial, governmental or international partners. SnT is active in several international research projects funded by the Horizon2020 programme and the European Space Agency. For further information you may check: www.securityandtrust.lu

Research Associate in Information Assurance (M/F)
Ref: R-STR-5004-00-B
Fixed Term Contract 24 months (CDD), full-time (40 hrs/week), extendable to 36 months
Number of positions: 1

Your Role

The Team
The researchers will be working under the supervision of Prof P Y A Ryan, head of the APSIA (Applied Security and Information Assurance) research group, http://wwwde.uni.lu/snt/research/apsia.
APSIA specializes in the mathematical foundations of information assurance: the mathematical modelling and analysis of information flows, the design and analysis of cryptographic primitives and protocols (both classical and quantum), secure verifiable voting systems, and anonymous marking systems and game-theoretic analysis of non-interference and coercion-resistance. The group has expertise in both the symbolic (formal methods) and the computational (“provable security”) styles of analysis and is investigating the links and synergies between them. The group has also established itself as a leading centre for the socio-technical aspects of security.

The Project
The research will be conducted within the VoteVerif project (Verification of Voter-Verifiable Voting Protocols), in collaboration with Polish Academy of Sciences, Warsaw, Poland. The project aims to develop novel concepts, methodologies, and tools for specification, analysis, and assessment of information security properties. The focus is on voting procedures and protocols, and in particular on their essential features like confidentiality, coercion-resistance, and voter-verifiability. The approach of the project is holistic, in the sense that we plan to develop theoretical concepts (such as strategy- based metrics of information security) not for their own sake, but in order to apply them to an important domain of social life, and come up with guidance on the conduct of elections and novel designs for secure, usable voting systems. To this end, we are going to develop algorithmic tools that help to analyze the level of security and usability. Note also that, while we focus on voting procedures in the project, the concepts and tools being developed can be also applied to other domains where information security is important.

For inquiries please contact: Main contact: Dr Jean Lancrenon, jean.lancrenon@uni.lu Other: Prof Dr Peter Y A Ryan, peter.ryan@uni.lu

Your Profile

A PhD in Computer Science, Applied Mathematics, Mathematical Physics or related field
A proven interest in cryptography and security modelling
Strong background in mathematics and computer science
Commitment, team working and a critical mind
Experience in cryptography or game theory will be considered as an advantage
Fluent written and verbal communication skills in English are mandatory

We offer

The University offers a two-year appointment.
The University offers highly competitive salaries and is an equal opportunity employer.
You will work in an exciting international setting and participate in a fast growing and dynamic research environment.

Further Information

Applications, written in English should be submitted online and should include:

Curriculum Vitae (including your contact address, work experience, publications)
Cover letter indicating the research area of interest and your motivation
A research statement which addresses specifically the topic of the position (300 words)
Transcript of all courses and results from the university-level courses taken
A short description of your PhD work (max 1 page)
Contact information for 3 referees

Deadline for applications: 7 October 2016

If you apply for this position please say you saw it on Computeroxy