Publisher
source

KTH Royal Institute of Technology

Closing soon

Top university

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 flag

Country

Sweden

University

KTH Royal Institute of Technology

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Electrical Engineering
Information Technology
Mathematics
Software Engineering
Computer Security

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?