The Department of Computing Science, Umeå University, seeks a postdoctoral fellow to analyze programs running for secure hardware and embedded devices formally. The fellowship is full-time for two years with access June 2021 or otherwise agreed.
The project focuses on program analysis techniques and tools to verify software systems’ safety and security that run in secure hardware and embedded devices. A further focus is on memory safety and compartmentalization requirements for secure hardware and embedded devices and extensions to improve program analysis tools’ applicability in the industrial context. You will also have the opportunity to study user cases and collaborate with domain experts in hardware and software verification.