08/01/2019

Postdoctoral researcher in Computer Science (Security and Trust)

This job offer has expired


  • ORGANISATION/COMPANY
    University of Luxembourg
  • RESEARCH FIELD
    Computer science
  • RESEARCHER PROFILE
    Recognised Researcher (R2)
    Established Researcher (R3)
  • APPLICATION DEADLINE
    08/02/2019 22:00 - Europe/Athens
  • LOCATION
    Luxembourg › Belval
  • TYPE OF CONTRACT
    Temporary
  • JOB STATUS
    Full-time
  • HOURS PER WEEK
    40
  • OFFER STARTING DATE
    01/07/2019
  • REFERENCE NUMBER
    F1-070022

The University of Luxembourg is a multilingual, international research university, ranked 12th among the worldwide best universities under 50 years in the Times Higher Education (THE) Ranking 2018.

The University of Luxembourg seeks to hire an outstanding post-doctoral researcher in the Computer Science and Communications (CSC) research unit.

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 works on formalising and applying formal reasoning to real-world security problems and trust issues. The research topics of the group include security protocols, security modelling, formal methods for security, socio-technical aspects of security, risk management, privacy, verification, etc.

The emphasis of the position is on the design and verification of security and privacy protocols. Preferably the candidate would be able to build on existing work on distance bounding protocols, used to secure contactless payment cards against relay attacks. The candidate also has the opportunity to engage in a new research direction in Space Informatics in the University of Luxembourg, for example considering protocols relevant to space infrastructure-as-a-service, e.g., protocols for reaching consensus over highly asynchronous lossy channels, such as communication with spacecraft, where divergences between clocks in space and on the ground require careful attention to timing. A third direction the candidate will have the opportunity to engage in is the verification of privacy properties, such the unlinkability of e-passports. The candidate is encouraged to also bring to the table their own ideas relevant to the design and verification of protocols.

We welcome applications from candidates who have completed a Ph.D. degree in Computer Science or Mathematics by May 2018. Preference will be given to applicants with proven interest in security and privacy and their analysis.

For more information on the SaToSS group and SnT please visit: http://satoss.uni.lu/ and https://wwwen.uni.lu/snt

The University of Luxembourg is an equal opportunities employer. We encourage applicants that can increase the diversity of our team.

Nature of the position

  • Ref : F1-070022
  • 30 months fixed term contract, full-time 40 hrs/week, extendable up to 3 years.
  • Number of positions: 1
  • Start day: 1 July 2019
Your duties

The successful candidate will join the SaToSS group, led by Prof. Sjouke Mauw. He/she will perform the following tasks:

  • Conducting research in the topics of time and space sensitive protocols, their verification and authentication and exploring novel, related research problems
  • Disseminating results through scientific publications
  • Assisting in teaching and administrative duties
  • Assisting in the direction of PhD and/or MSc students
  • Organising relevant workshops and demonstrations
  • Contributing to fund attraction initiatives

For further information, please contact Dr. Ross Horne (ross.horne@uni.lu) or Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu).

Your profile
  • A PhD degree in Computer Science or Mathematics
  • Documented research experience in the design and analysis of security protocols
  • A proven interest in security and privacy
  • Commitment, team working and a critical mind
  • Fluent written and verbal communication skills in English are mandatory

 

Deadline for applications: Applications will be considered on basis of receipt, so an early submission is encouraged. Please apply online as soon as possible, leaving sufficient time to relocate in time for 1 July 2019.

Offer Requirements

  • REQUIRED EDUCATION LEVEL
    Computer science: PhD or equivalent
    Mathematics: PhD or equivalent
  • REQUIRED LANGUAGES
    ENGLISH: Excellent

Skills/Qualifications

Your profile
  • A PhD degree in Computer Science or Mathematics
  • Documented research experience in the design and analysis of security protocols
  • A proven interest in security and privacy
  • Commitment, team working and a critical mind
  • Fluent written and verbal communication skills in English are mandatory

Specific Requirements

Applications, written in English should be submitted online and should include: 

  • A Curriculum Vitae (including your contact address, work experience, publications)
  • A Cover letter indicating the research areas of interest and your motivation
  • A research statement which addresses specifically the topic of the position (300 words
  • A Transcript of all courses and results from the university-level courses taken
  • A short description of your PhD thesis (max 1 page)
  • Contact information for 3 referees

 

Deadline for applications: Applications will be considered on basis of receipt, so an early submission is encouraged. Please apply online as soon as possible, leaving sufficient time to relocate in time for 1 July 2019.

Work location(s)
1 position(s) available at
University of Luxembourg
Luxembourg
Esch-sur-Alzette
Belval
L-4365
avenue de l'Université

EURAXESS offer ID: 368519