Postdoc in Rigorous Analysis of Binary Programs

Job description

We are offering a postdoctoral researcher position in the Division of Network and Systems Engineering, under the guidance of Assistant Prof. Hamed Nemati and  Associate Prof. Roberto Guanciale. This role is a unique chance to contribute to groundbreaking research in binary verification, focusing on RISC-V processor software systems.

In this project, you will play a crucial role in advancing the HolBA binary analysis framework. Your work will involve extending HolBA's capabilities to encompass the RISC-V architecture, aiming to bridge the gap between high-level software design and machine code execution. You'll have the opportunity to develop innovative techniques for automating verification tasks, thereby ensuring the security and correctness of critical software systems.

We're seeking candidates with a strong background in formal methods, program analysis, and system security, who are driven by the challenges of software security and have a passion for pushing the boundaries in binary verification. This position not only offers the chance to work at the cutting edge of software verification but also to collaborate with leading experts in the field and contribute to a project with substantial real-world impact.

If you're eager to shape the future of binary verification and make a significant contribution to ensuring the security of software systems, we encourage you to apply for this dynamic and rewarding role.

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
• Work in Stockholm, in close proximity to nature
• Help to relocate and be settled in Sweden and at KTH

Read more about what it is like to work at KTH

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.
• Research expertise.
• A PhD degree in Computer Science or relevant subject is a requirement.
• We seek a candidate with a strong background in one or more of the areas mentioned in the job description.

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 opportunity issues, with specific focus on gender equality
• We see that you have no problem to collaborative with others
• You are independent in your work
• The successful applicant should be strongly motivated, have the capability to work independently as well as in collaboration with members of the research group, and have good communication skills.

Great emphasis will be placed on personal skills.

Trade union representatives

You will find contact information to trade union representatives at KTH's webbpage.

To apply for the position

Log into KTH's recruitment system in order to apply for this position. You are the main responsible to ensure that your application is complete according to 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

The position may include security-sensitive activities. To become authorized, you therefore need to pass a security check.

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 please read here.

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

1. Lilly Engfeldt, HR, lillye@kth.se