Umeå University, the Department of Computing Science (www.cs.umu.se), is seeking a PhD student in Computer Science with focus on Formal Analysis of Programs for Secure Hardware and Embedded Devices.
Project description
The project conducts research in in the area of software model checking, automated testing, program synthesis, embedded & cyber-physical systems, and security.