KTH Royal Institute of Technology

Postdoc in Systems Security and Formal Verification

2024-07-31 (Europe/Stockholm)
Save job

About the employer

Since its founding in 1827, KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering un...

Visit the employer page

Job description

The Division of Network and Systems Engineering at KTH invites applications for a postdoctoral research position funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated researcher with a strong background in systems security and formal verification to join our research group. This position offers the opportunity to delve into cutting-edge research aimed at enhancing the security and reliability of modern systems.

The successful candidate will focus on one or more of the following research areas:

  • System Security: Investigate and address vulnerabilities at various system levels, including microarchitecture security (e.g., side-channel attacks, hardware vulnerabilities), system software security (operating systems, hypervisors, compilers) and design novel security architectures and defenses.
  • Formal Verification: Prove the functional correctness and security of low-level code, verify the security of protocols (cryptographic protocols, distributed systems) and advance the development of scalable verification techniques and tools.

What we offer

  • A position at a leading technical university that generates knowledge and skills for a sustainable future
  • Engaged and ambitious colleagues along with a creative, international and dynamic working environment
  • Work in Stockholm, 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



  • A doctoral degree or an equivalent foreign degree. This eligibility requirement must be met no later than the time the employment decision is made
  • A PhD in computer science or a relevant subject and a strong background in one or more of the areas mentioned in the job advertisement
  • We expect you to have very good research skills and pedagogical ability

Preferred qualifications

  • A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline
  • Awareness of diversity and equal treatment issues, with a particular focus on gender equality
  • You are independent in your work and have no problem collaborating with others

Great emphasis will be placed on personal skills.

Trade union representatives

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

To apply for the position

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

The application must include:

  • CV including relevant professional experience and knowledge.
  • Copy of diplomas rom your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages.
  • A research statement explaining 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.
  • 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.
  • 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.

The position may include security-sensitive activities. To become authorized, you therefore need to pass a possible security check.

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.

About 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. Read more here

Type of employment: Temporary position
Contract type: Full time
First day of employment: According to agreement
Salary: Monthly salary
Number of positions: 1
Full-time equivalent: 100%
City: Stockholm
County: Stockholms län
Country: Sweden
Reference number: J-2024-1181
  1. Hamed Nemati, rekryteringsansvarig, hnnemati@kth.se
  2. Lilly Engfeldt, HR, lillye@kth.se
Published: 2024-04-19
Last application date: 2024-07-31

Job details

Postdoc in Systems Security and Formal Verification
Brinellvägen 8 Stockholm, Sweden
Application deadline
2024-07-31 23:59 (Europe/Stockholm)
2024-07-31 23:59 (CET)
Job type
Save job

More jobs from this employer

About the employer

Since its founding in 1827, KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering un...

Visit the employer page

This might interest you

Deciphering the Gut’s Clues to Our Health University of Turku 5 min read
Understanding Users to Optimise 3D Experiences Centrum Wiskunde & Informatica (CWI) 5 min read
Control Systems: The Key to Our Automated Future? Max Planck Institute for Software Systems (MPI-SWS) 5 min read
More stories