[FM-India] Post-doc position at the University of Luxembourg

[Madhavan Mukund]

 Date: Tue, 10 Nov 2015 12:32:36 +0100
 From: Rolando TRUJILLO RASUA <rolando.trujillo at uni.lu>
 To: fmindia at cmi.ac.in
 Subject: Post-doc position at the University of Luxembourg
 
 The University of Luxembourg seeks to hire an outstanding post-doctoral
 researcher at its Interdisciplinary Centre for Security, Reliability and
 Trust (SnT). 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 is working on formalising and
 applying formal reasoning to real-world security problems and trust issues.
 The research topics of the group include: security protocols, security
 modeling, formal methods for security, socio-technical aspects of security,
 risk management, privacy, verification, etc.
 
 The position is within the national project "Distance Bounding: a graph
 theoretical and formal approach" (DIST). The objectives of DIST are twofold.
 First, establishing the relation between graph properties, graph-based hash
 functions, and graph-based distance bounding protocols. Second, developing a
 symbolic approach for the formal verification of distance bounding
 protocols.
 
 The university offers a one year employment that may be extended up to five
 years. The successful candidates will be working in an exciting,
 international and multicultural environment. The university offers highly
 competitive salaries and is an equal opportunity employer.
 
 We welcome applications from candidates who have completed a Ph. D. degree
 in Mathematics or Computer Science by March, 2016. Preference will be given
 to applicants with proven interest in security and graph theory.
 
 Applications will be considered on receipt therefore applying before the
 deadline is encouraged.
 
 For further information and to submit your application please visit:
 http://emea3.mrted.ly/ved5
 
 
 Deadline for applications:
 
 7  Dec, 2015
 
 Contact:
 Prof. Dr. Sjouke Mauw (sjouke.mauw at uni.lu) or
 Dr. Rolando Trujillo Rasua (rolando.trujillo at uni.lu)