Research Engineer in UI Development and Security Analysis Tools Testing

Job description

We are looking for a research engineer to work for up to six months on a project involving UI development and testing of formal verification tools for microarchitectural security at the Division of Network and Systems Engineering, KTH.

The position is part of a project funded by the Wallenberg Launchpad (WALP). The primary responsibilities include user-interface (UI) development and testing of formal analysis frameworks that evaluate program security against microarchitectural attacks. Additional duties may include contributing to the design of the other parts of the framework and supporting related research activities.

Strong software-development skills and solid experience with C/C++ are highly valued. Although not mandatory, knowledge of microarchitectural security and experience with compiler design, LLVM, or SMT solvers are considered an advantage.

Qualifications

Requirements

• A graduate degree or an advanced level (higher education) in the research subject or equivalent competence. 
• Strong software-development skills using C/C++, and preferably also with other programming languages, such as Python;
• Fluency in English, which it is required in the daily work.

Preferred qualifications

• Knowledge of microarchitectural attacks, such as Spectre and Meltdown;
• Background or interest in program verification, compiler pass design, LLVM, or SMT solvers;
• 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.

Great emphasis will be placed on personal skills.

Join us at KTH

KTH shapes the future through education, research and innovation. As a leading international technical university, we play an active role in advancing the transition towards a sustainable society. At KTH, you have the opportunity to grow and develop in a creative and dynamic environment, with good working conditions and attractive benefits. Equality, diversity and equal opportunities are essential to quality and form an integral part of KTH’s core values as a university and public authority.

Learn more about our benefits and what it's like to work and grow at KTH.

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.

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.

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

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.