Logic List Mailing Archive

Postdoctoral position in information assurance, Luxembourg (Luxembourg), Deadline: 20 Oct 2016

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@uni.lu> or Prof. Dr. Wojtek Jamroga <w.jamroga@ipipan.waw.pl>

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam