The Department of Computing Science 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 Department of Computing Science (www.cs.umu.se) is a dynamic department with about 130 employees from over twenty countries. We provide research and education within a broad spectrum of areas and offer education on basic, advanced, and PhD levels. The research is internationally well recognized and includes basic research, methods development, and software development, and research and development within various application domains.
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.
The stipend project is financed by the Kempe foundations. The stipend is full-time for two years with starting date of June 1st 2021 or to be negotiated. The stipend amounts to 330 000 SEK per year (around 32500 euro). The stipend is not subject to tax.
Other desirable qualifications:
A full application should include:
Submit your application as a PDF marked with the reference number FS 2.1.6-283-21, both in the file name and in the subject field of the email, to firstname.lastname@example.org. The application can be written in English (preferably) or Swedish. Application deadline is 18 April 2021.
We look forward to your application!Continue reading
|Title||Postdoctoral fellowship (2 years) within the formal analysis of programs running in secure hardware|
|Job location||Biblioteksgränd 6, 901 87 Umeå|
|Published||March 19, 2021|
|Application deadline||April 18, 2021|
|Job types||Postdoc  |
|Fields||Cyber Security,   Computer Engineering,   Electrical Engineering,   Electronics  |