PhD candidate in Information Security University of Luxembourg, Computer Science and Communications Research Unit Luxembourg

PhD candidate in Information Security


Contract Type:


Fixed Term Contract

The University of Luxembourg seeks to hire an outstanding doctoral researcher at the Computer Science and Communications Research Unit. The position is part of the FNR PRIDE doctoral training programme on “Security and Privacy for System Protection”.

The successful candidate will participate in the activities of the Security and Trust of Software Systems (SaToSS) research group. 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, etc. For further information, you may consult

PhD candidate in Information Security (M/F)

  • Ref: R-AGR-3125-13-C
  • Fixed-term employment (14 months fixed-term contract, renewable up to 36 months in total, pending satisfaction of progress milestones)
  • On full-time basis (40 hours/week)
  • Number of positions: 1

Your Role


The focus of the PhD project is on multi-party authentication protocols. The PhD student will investigate security properties of information that is not held by a single protocol participant, but is a function on several participants. The results of this study will be applied to the analysis and verification of physical properties, such as location, temperature, and signal strength. 

The tasks for the PhD student will be to:

  • Write a doctoral dissertation in Computer Science related to formal methods and authentication protocols, with particular focus on proofs of physical properties by multiple verifiers,
  • Disseminate results through scientific publications,
  • Assist the professor in his teaching activities,
  • Co-supervise Master and/or Bachelor students.


For inquiries please contact: Dr. Sjouke Mauw ( 

Your Profile

  • A master degree in computer science, mathematics, engineering or related field

  • Experience in formal methods will be considered an advantage, 

  • Excellent written and oral English skills,

  • Critical thinking and teamwork skills,

  • A proven interest in security,


We offer


The University offers a fixed term employment (14 months fixed-term contract, renewable up to 36 months). 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 dynamic and growing centre.


Further Information


Applications should be written in English and include the following documents:

  • Cover letter indicating the research area of interest and your motivation,

  • Curriculum Vitae (including your contact address, work experience, list of publications),

  • A research statement addressing the topic of the position (max 1 page),

  • A short description of your Master work (max 1 page),

  • Transcript of grades from all university-level courses taken,

  • Contact information for 3 referees.


Deadline for applications: August 31st, 2017.

Applications will be considered on receipt therefore applying before the deadline is encouraged.

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


All Jobs


ubc reklama










texas tech


uni copenhagen