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.

More Information and Application

View all positons