Postdoc in Rigorous Protection of Programs from Hardware Attacks

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 to trade 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.
It may be the case that a position at KTH is classified as a security-sensitive role in accordance with the Protective Security Act (2018:585). If this applies to the specific position, a security clearance will be conducted for the applicant in accordance with the same law with the applicant’s consent. In such cases, a prerequisite for employment is that the applicant is approved following the security clearance.
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
Temporary position

Full time

According to agreement

Monthly salary

1

100%

Stockholm

Stockholms län

Sweden

PA-2025-0450

2025-02-07

2025-03-20