项目介绍

2025年2月8日

Job description

The Division of Network and Systems Engineering at KTH Royal Institute of Technology invites applications for a postdoctoral research position funded by the Wallenberg Launchpad (WALP). We are seeking a highly motivated and talented researcher with a strong background in formal verification and microarchitectural security to join our dynamic research group.

The ideal candidate will have expertise in formal methods, program verification, and microarchitectural attack analysis. Experience with compiler pass design and SMT solvers is highly desirable and will be considered an advantage. Strong software development skills are essential, as the goal is to develop a real-world security analysis platform rather than limited academic prototypes.

The successful candidate will work on designing and implementing formal analysis frameworks to evaluate the security of programs against microarchitectural attacks (see P1, P2, P3). This includes contributing to novel research ideas, developing scalable tools, and collaborating with other researchers within the group and external partners.

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
• A position at a leading technical university creating knowledge and skills for a sustainable future
• Our growing research group consists of 7 PhD students, 1 postdoc, 1 senior lecturer, 1 associate lecturer and has produced innovative models, theories and tools that have been published at several top-ranked conferences (CAV’20, CCS’21, MICRO’21, ISCA’22).
• We are funded by several organizations and companies, including WASP, Center for CyberDefense, Intel, Ericsson, SAAB.
• Work in Stockholm, in close proximity to nature
• Help to relocate and be settled in Sweden and at KTH

Read more about what it’s like to work at KTH and our benefits.

Qualifications

Requirements

• A doctoral degree or an equivalent foreign degree. This eligibility requirement must be met no later than the time the employment decision is made.
• Strong track record
• Solid background in systems development
• The candidate must demonstrate a high degree of scientific competence in one or, preferably more, of the relevant research areas: formal methods, side-channel attacks, compiler pass design and SMT solvers
• As a person, you are independent and have good collaboration skills

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
• As a person, you have good teaching skills

Great emphasis will be placed on personal skills.

Trade union representatives

Contact information totrade union representatives.

To apply for the position

Log into KTH’s recruitment system to apply for this position. You are responsible for ensuring that your application is complete according to the instructions in the ad.

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.

Others

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.