International Association
for Cryptologic Research

We are looking for a Ph.D. student in the area of formal methods based approaches to computer security and electronic privacy. The successful candidate will join the SaToSS group led by Prof. Dr. Sjouke Mauw.

Profile:

• A Master\'s degree in Computer Science, Mathematics, or a related field.
• Prior exposure to and strong interest in formal methods.
• Prior exposure to and strong interest in computer and information security.
• Inquisitiveness, creativity, critical attitude.
• Very good written and oral English skills.

Employment:

The candidate will be employed as a Junior Researcher at the Faculty of Sciences, Technology and Communication of the University of Luxembourg. The initial contract will be for three years (40 hours/week) with a six month trial period. The contract may be extended once by one year.