Postdoctoral in Microarchitectural Security: The Division of Network and Systems Engineering at KTH Royal Institute of Technology is seeking a motivated and talented postdoctoral researcher to join their group in Stockholm, Sweden. The role involves advanced research in microarchitectural security and formal verification techniques. This is a unique opportunity to work in a dynamic, innovative research environment at one of Europe’s leading technical universities.
Postdoc in Rigorous Protection of Programs from Hardware Attacks
Postdoctoral Research Position in Formal Verification and Microarchitectural Security
Designation
Postdoctoral Researcher
Details
| Type of Employment | Temporary Position |
|---|---|
| Contract Type | Full-time (100%) |
| Number of Positions | 1 |
| Duration of Employment | Maximum of 2 years |
| Salary | Monthly salary |
| Location | Stockholm, Sweden |
| Start Date | According to agreement |
| Application Deadline | March 20, 2025 |
Research Area
The research focuses on:
- Formal Methods – Developing frameworks for program verification.
- Microarchitectural Security – Evaluating vulnerabilities and tackling side-channel attacks.
- Compiler Pass Design – Understanding code optimization and program transformation.
- SMT Solvers – Using formal techniques for security analysis.
Location
Stockholm County, Stockholm, Sweden
Eligibility/Qualifications
Basic Requirements:
- A doctoral degree or equivalent foreign degree (must be completed before the employment decision).
- Strong software development skills and a solid background in systems development.
- Expertise in one or more of the following:
- Formal Methods
- Side-Channel Attacks
- Compiler Pass Design
- SMT Solvers
- A strong track record of research and publications.
Preferred Qualifications:
- Doctorate obtained within the last three years (relative to application deadline).
- Competence and focus on gender equality, diversity, and equal treatment.
- Independent, with strong collaboration and teaching skills.
Job Description
As a postdoctoral researcher, you will:
- Design and implement formal analysis frameworks to evaluate program security against microarchitectural attacks.
- Conduct cutting-edge research in collaboration with an interdisciplinary group of PhD students, lecturers, and external partners.
- Develop real-world security analysis platforms, focusing beyond prototype-level academic solutions.
- Publish in top-tier conferences and be actively involved in developing advanced models, theories, and tools.
Department Highlights:
- The group has contributed to key conferences like CAV’20, CCS’21, MICRO’21, ISCA’22.
- Active collaborations with major organizations and companies, such as Intel, Ericsson, SAAB, and WASP.
- Research backed by institutions like the Center for CyberDefense.
How to Apply
- Log in to KTH’s recruitment system and complete your application before the deadline.
- Ensure your submission includes all relevant information as per the specified instructions in the advertisement.
Contact for Inquiries:
- Research Supervisor: Hamed Nemati – hnnemati@kth.se
- HR Representative: Lilly Engfeldt – lillye@kth.se
Last Date to Apply
March 20, 2025 (by midnight CET/CEST)
About KTH
KTH Royal Institute of Technology in Stockholm is a leading European technical university, renowned for excellence in research, education, and fostering intellectual innovation. The university is known for its robust engineering programs and international collaborations in diverse fields like natural sciences, systems engineering, industrial management, and urban development.
Take your career to the next stage with this inspiring opportunity at KTH Royal Institute of Technology!
