[agents] Postdoc in information assurance, University of Luxembourg

[Wojtek Jamroga]

The University of Luxembourg seeks to hire outstanding researchers at 
its Interdisciplinary Centre for Security, Reliability and Trust (SnT) as:

   * Research Associate (postdoc) in Information Assurance (M/F)
   * Ref: INTER Project VoteVerif
   * Fixed Term Contract 24 months (CDD), full-time (40 hrs/week),
     extendable to 36 months
   * Website for applications: http://emea3.mrted.ly/15g3f
     (deadline: 20 Oct)


The Team

The researcher 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.

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

We offer an initial two-year appointment, extendable to 3 years. You 
will work in an exciting international setting and participate in a fast 
growing and dynamic research environment.

The University offers highly competitive salaries and is an equal 
opportunity employer.

Further Information

Apply via website here: http://emea3.mrted.ly/15g3f
Deadline for applications: 20 Oct 2016

If you have any questions, please contact: Prof. Dr. Peter Y. A. Ryan 
<peter.ryan at uni.lu> or Prof. Dr. Wojtek Jamroga <w.jamroga at ipipan.waw.pl>