Post-Doctoral Position on Software Security at Uppsala University

by Bengt Jonsson, June 5, 2021

Research Scope:
is on detecting, removing, and preventing security vulnerabilities in software, using techniques including (but not limited to) program analysis, verification, symbolic execution, protocol testing, fuzzing, taint analysis, and model learning.

A PostDoctoral Position on Software Security is open at Uppsala University.

Research Scope:
is on detecting, removing, and preventing security vulnerabilities in software, using techniques including (but not limited to) program analysis, verification, symbolic execution, protocol testing, fuzzing, taint analysis, and model learning. A goal is to significantly extend the power and scalability of existing techniques to make them applicable to real-world code bases, in particular in IoT.

Environment:
The position is support by the project "aSSIsT: Secure Software for the Internet of Things" (https://assist-project.github.io/), supported by the Foundation for Strategic Research. It brings together several groups at Uppsala University (Bengt Jonsson, Parosh Abdulla, Mohammed Faouzi Atig, Philipp Ruemmer, Kostis Sagonas, Wang Yi) that are world-renowned in the fields of automated verification, programming language implementation, and testing. The project is a collaboration with partners at RISE SICS (Luca Mottola, Shahid Raza, Thiemo Voigt) including developers of the ConTiki OS, and the SICS Security lab.

Requirements:
A Post-Doctoral position requires a Ph.D. degree in Computer Science, Computer Engineering, or equivalent, typically obtained not more than three years ago. A successful candidate should have a strong research experience in some of the fields: program analysis, compiler techniques, model checking, formal verification, testing, security, software engineering, and similar, as well as be proficient in building software systems and tools. The applicant must have good skills in spoken and written English. A Post-Doctoral position  is time-limited for a maximum of two years, and may include some teaching (up to 20%).

Applications:
Applications should include a description of research interests and past experience, including a motivation for applying for this position, a CV, copies of exams, degrees and grades, a copy of Ph.D. thesis (or a draft thereof), relevant publications, and other relevant documents.  Include at least two letter(s) of recommendation and/or contact information to reference persons, as well as earliest feasible starting date of employment.
Deadline for application is June 28, 2021, through the University's web interface at https://uu.se/en/about-uu/join-us/details/?positionId=408762.
The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply.

Full Announcement:
at https://www.uu.se/en/about-uu/join-us/details/?positionId=389379 or contact Bengt Jonsson ([email protected]) or Kostis Sagonas ([email protected]).