KTH Royal Institute of Technology's School of Electrical Engineering and Computer Science is hiring a postdoctoral researcher in software technology to design and implement software prototypes and demonstrators, contributing to research papers and grant proposals. Preference for candidates with a background in formal verification or system security who completed their doctorate within the last three years. Maximum two-year appointment.
Text as published by the employer. Always confirm details on the employer's site.