Vacant job

Job Responsibilities

We are looking for a research engineer to work for up to six months on a project regarding formal verification and microarchitectural security at the Department of Network and Systems Engineering, KTH.

The position is part of a project funded by the Wallenberg Launchpad (WALP) and involves the development of formal analysis frameworks to evaluate software security against microarchitectural attacks. The job responsibilities include supporting research activities such as implementing program analysis systems and contributing to the design of a security analysis platform. Experience in compiler design and strong programming skills are highly desirable.

We Offer

• An employment at a leading technical university that creates knowledge and competence for a sustainable future
• Engaged and ambitious colleagues as well as a creative, international, and dynamic environment
• Work in Stockholm with proximity to nature

For more information about what KTH offers, see here (https://www.kth.se/om/jobba-pa-kth/kth-din-framtida-arbetsplats-1.49050) and our benefits (https://www.kth.se/om/jobba-pa-kth/en-arbetsplats-med-manga-formaner-1.467932).

Qualifications

Requirements

• A completed degree at the undergraduate or graduate level (higher education) in a relevant field or equivalent competence.
• Strong skills in programming and software development (with languages such as C++ and Python), focusing on building scalable tools that go beyond academic prototypes.
• Fluent in English, as it is required in daily work.

Desirable

• Experience in program verification.
• Familiarity with SMT solvers and compiler pass design.
• Awareness of diversity and equality issues with a particular focus on gender equality.
• You are a person who can work independently but also enjoys collaborating in a team.

We will place great emphasis on personal qualities.

Union Representatives

Contact information for union representatives at KTH (https://www.kth.se/om/jobba-pa-kth/fackrepresentanter-vid-kth-1.500898).

Application

You apply via KTH's recruitment system. As an applicant, you are primarily responsible for ensuring that your application is complete when submitted.

The application should include:

• CV including relevant work experience and knowledge.
• Copy of diploma and transcripts from your previous university studies. Translations into English or Swedish if the original documents are not issued in either of these languages.
• Cover letter, max 2 pages long.

The application must reach KTH no later than the last application day by midnight, CET/CEST (Central European Time/Central European Summer Time).

About the Employment

The employment is temporary according to agreement - for up to 6 months, with start date by agreement.

Other

The pursuit of gender equality, diversity, and equal conditions is both a quality issue and an obvious part of KTH's core values.

For information on the processing of personal data (https://www.kth.se/om/jobba-pa-kth/behandling-av-personuppgifter-i-samband-med-rekrytering-1.823440) in connection with recruitment.

It may occur that an employment at KTH is placed in a security class. If this is the case for this position, a security review of the applicant will be conducted in accordance with the Security Protection Act (2018:585) after consent. In these cases, a prerequisite for employment is that the applicant is approved after the security review.

About KTH

KTH is one of Europe's leading technical universities and an important arena for knowledge development. As Sweden's largest university for technical research and education, we gather students, researchers, and faculty from all over the world. Our research and education encompass both natural sciences and all branches of engineering as well as architecture, industrial economics, urban planning, history, and philosophy. Read more about KTH here. (https://www.kth.se/om/om-kth-1.885102)