Post Doc in Fullstack Security

Royal Institute of Technology School of Electrical Engineering and Computer Science

Postdoc Position in Fullstack Security

School of Electrical Engineering and Computer Science at KTH

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.

Job description

The research group STEP (Secure and Trustworthy Execution Platforms) at KTH is recruiting a postdoc for a project on fullstack security focusing on e-voting, specifically Verificatum ( Verificatum is a world leading e-voting system based on mixnets, and developed by assoc. prof. Douglas Wikström (
The position is affiliated with TrustFull (, a project on secure fullstack computing funded by the Swedish Foundation for Strategic Research, SSF. The TrustFull project combines software engineering at scale with formal methods to address critical parts of the software/hardware stack. The part of TrustFull of particular interest for this position concerns formal techniques for low level software and hardware.
The goal of the present project is to develop a formally verified instance of Verificatum. The work involves domain specific modelling and security analysis as well as the development of general theory, methods, and tools for cryptography and low level implementations with respect to, e.g., analysis of side channels in software and hardware.
The opportunities for influencing the direction of the work are very good.

The project is led by the following research team:
• Prof. Mads Dam,
• Assoc prof. Douglas Wikström,
• Assoc. prof. Roberto Guanciale,

We offer a position at a leading technical university that generates knowledge and skills for a sustainable future along with engaged and ambitious colleagues in a creative, international and dynamic working environment. Stockholm offers a highly attractive living environment with a rich cultural life and in close proximity to nature.

Help to relocate and be settled in Sweden and at KTH

Read more about what it is like to work at KTH


The candidate must exhibit a high degree of scientific skills within one or, preferably more, of the research areas concerned: Cryptography, formal methods, system security. As a person you are independent and have good collaboration skills.


A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline (With some exceptions for special reasons such as periods of sick or parental leave, kindly indicate if such reason exists in your resume).

Preferred qualifications

Teaching abilities and awareness of diversity and equal opportunity issues, with specific focus on gender equality are meriting.
We place great emphasis on personal qualities such as independence and collaboration skills.

Great emphasis will be placed on personal competency.

Trade union representatives

You will find contact information to trade union representatives at KTH's webbpage.


Log into KTH's recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad.

The application should contain the following:

  1. CV including relevant professional experience and knowledge.
  2. Copies of diplomas and grades from your previous university studies. Translations to English or Swedish if the original documents are not issued in one of these languages.
  3. Brief explanation of why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
  4. Representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
  5. Contact information for two reference persons. We reserve the right to contact references only for selected candidates.

Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).

About the employment

The position offered is for, at the most, two years.

A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation.


Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

For information about processing of personal data in the recruitment process please read here.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

Type of employment Temporary position longer than 6 months
Contract type Full time
First day of employment 1st of September or earlier, as agreed
Salary Monthly salary
Number of positions 1
Working hours 100%
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2021-0753
Mads Dam ,
Anna Olanås Jansson,
Published 19.Mar.2021
Last application date 19.Apr.2021 11:59 PM CET