Postdoctoral Researcher in Software Technology

KTH Royal Institute of Technology invites applications for a Postdoctoral Researcher in Software Technology within the School of Electrical Engineering and Computer Science. The role involves designing and implementing software prototypes and demonstrators, contributing to collaborative experiments in software engineering research, and writing research papers and grant proposals. Candidates should have a strong background in formal verification and system security, with preferred qualifications including a recent doctoral degree, specialization in software engineering, and experience in systems programming and computer security. The position is a temporary, full-time role for up to two years, focusing primarily on research as a first career step after a dissertation.