KTH Royal Institute of Technology
Closing soon
Top university
5 days ago
Postdoctoral Researcher in Software Technology (Formal Verification and System Security) KTH Royal Institute of Technology in Sweden
Degree Level
Postdoc
Field of study
Computer Science
Funding
Temporary postdoctoral employment for at most two years. Salary is monthly; no stipend or tuition information is provided.
Deadline
Oct 1, 2026
Country
Sweden
University
KTH Royal Institute of Technology

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Postdoctoral researcher opportunity in software technology at KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, in Stockholm, Sweden.
The project focuses on software engineering research with emphasis on formal verification and system security. The work includes designing and implementing software prototypes and demonstrators, participating in collaborative experiments, and contributing to research papers and grant proposals.
Eligibility and profile: applicants must hold a doctoral degree or equivalent foreign degree by the time the employment decision is made. A strong background in at least one of formal verification or system security is required. Preferred experience includes a PhD obtained within the last three years, specialization in software engineering, laboratory research experience, systems programming, computer security, scientific skills, educational ability, cooperation, independence, and awareness of diversity and equal treatment issues.
Employment and funding: the position is a temporary postdoctoral appointment for up to two years. Salary is monthly. No scholarship, tuition, or stipend details are mentioned.
How to apply: submit the application through KTH's recruitment system/Varbi portal. Include a CV, copies of diplomas and grades, and a brief statement describing your research motivation, academic interests, and future goals (maximum two pages). The deadline is 2026-10-01.
Funding details
Temporary postdoctoral employment for at most two years. Salary is monthly; no stipend or tuition information is provided.
What's required
A doctoral degree or equivalent foreign degree is required and must be met by the time the employment decision is made. The candidate should have a strong background in at least one of formal verification and system security. Preferred qualifications include a PhD obtained within the last three years, specialization in software engineering, research experience in a laboratory, experience with systems programming and computer security, scientific skills, educational ability, cooperation skills, independence, and awareness of diversity and equal treatment issues with a focus on gender equality.
How to apply
Apply through KTH's recruitment system via the provided Varbi application portal. Prepare a CV, copies of diplomas and grades, and a brief statement of research motivation, academic interests, and future goals (max two pages). Submit the complete application by the deadline.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.