Postdoctoral fellowship (2 years) within the formal analysis of programs running in secure hardware

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.

Project description

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.

Qualifications

- Have a Ph.D. in a relevant area (e.g., Computer Science, Computer/Electronics/Electrical Engineering, Mathematics). Priority should be given to candidates who have completed their doctoral degree no more than three years before the application's closing date. A candidate who has completed their degree before this may be considered if special circumstances exist. Special circumstances include absence due to illness, parental leave or clinical practice, appointments of trust in trade unions, or similar circumstances. This must be clearly stated in the application.

- Excellent knowledge in at least one of the following areas:
      - Bounded model checking
      - Runtime verification
      - Dynamic symbolic execution/abstract interpretation
      - Fuzzing
      - Automated reasoning/first-order theorem proving

- Strong coding skills
- Excellent communication, collaborative and interpersonal skills
- An excellent command of the English language, both written and spoken
- Ability to present in both written and oral publications

Other desirable qualifications:
- A track-record of high-quality publications
- Previous implementation experience with a formal analysis tool
- Knowledge of and previous experience of hardware/software design

Application

A full application should include:
- A cover letter summarizing your qualifications, research interests, and motivation for applying (max two pages)
- Curriculum vitae CV with publication list,
- Certified copy of doctoral degree certificate,
- Certified copies of other diplomas, list of completed academic courses and grades,
- Copy of doctoral thesis and possibly relevant articles,
- Contact information for at least two reference persons,

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 medel@diarie.umu.se. The application can be written in English (preferably) or Swedish. Application deadline is 18 April 2021.

We look forward to your application!