This setting controls the language of the user interface, including buttons, menus, and all site text. Select your preferred language for the best browsing experience.
Select the languages for job listings you want to see. This setting determines which job advertisements will be displayed to you.
You have already applied for this position.
For questions regarding your application, please contact the employer.
For technical assistance, reach out to our support team
here.
You have already applied for this position. You can instead create a job alert here.
Thank you for your application! An email confirmation has been sent to your email.
We are looking for a research engineer to work up to six months within a project on formal verification and microarchitectural security at the Division of Network and Systems Engineering, KTH.
The position is part of a project funded by the Wallenberg Launchpad (WALP) and involves developing formal analysis frameworks to evaluate program security against microarchitectural attacks. Duties include supporting research activities such as implementing program analysis tools, and contributing to the design of a security analysis platform. Experience with compiler design, and strong programming skills are highly valued.
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 graduate degree or an advanced level (higher education) in the research subject or equivalent competence.
Strong programming and software development skills (using languages like C++ and Python), with a focus on building scalable tools beyond academic prototypes;
Fluent in English, because it is required in the daily work.
Preferred qualifications
Experience with program verification
Familiarity with SMT solvers and compiler pass design
You have awareness of diversity and equal treatment issues with a particular focus on gender equality.
As a person, you find it easy to work independently while also working well in a group.
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.
The application must include:
CV including relevant professional experience and knowledge.
Copy of diplomas and grades from your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages.
Brief account of why you want to conduct research, your academic interests and how they relate to your previous studies and future goals. Maximally two pages long.
Your complete application must be received by KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).
About the employment
The employment is valid for a limited time according to the agreement - for up to 6 months, with access according to agreement.
Other information
Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values
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
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: PA-2025-1338 Contact:
KTH Royal Institute of Technology (KTH) is a true innovator that provides you with an opportunity to shape the world through your work. As one of the world’s...
