Post-Doctoral Position on Software Security at Uppsala University

by Bengt Jonsson, March 6, 2019

Uppsala University invites applications for a post-doctoral position in software security. The candidate will perform research to develop and apply techniques for detecting and removing security vulnerabilities in software.

Uppsala University invites applications for a post-doctoral position in software security.

Scope:
The candidate will perform research to develop and apply techniques for detecting and removing security vulnerabilities in software. Since the exploitation of vulnerabilities in such software can cause huge damages (e.g., the forming of malicious botnets), it must be bug-free and correctly implement security services.  Techniques in the scope of the project include program analysis, verification, symbolic execution, testing using fuzzing, taint analysis, and model learning.  The goals include to significantly extend the power and scalability of such techniques to make the applicable to real-world code bases; one foreseen application is to analyze the widely-used IoT OS Contiki.

Requirements:
A Post-Doctoral position requires a Ph.D. degree in Computer Science, Computer Engineering, or equivalent. The degree should typically have been 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 (at most 20%).

Environment:
The positions are funded by the recent five-year grant aSSIsT: Secure Software for the Internet of Things (https://assist-project.github.io/), supported by SSF (the Foundation for Strategic Research), which 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.  Contributions include the UPPAAL model checker, high-impact techniques and tools for testing and verification of multithreaded software, including Concuerror and Nidhugg, and the native-code compiler and several tools for the Erlang programming language. Members received the CAV (Computer-Aided Verification) Award, the most prestigious academic award in the area, both in 2013 (Wang Yi) and in 2017 (Parosh Abdulla and Bengt Jonsson).  The work is performed in collaboration with partners at RISE SICS (Luca Mottola, Shahid Raza, Thiemo Voigt) including developers of the ConTiki OS, and the SICS Security lab.

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.  Applications should be accompanied by at least two letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment.
You are welcome to submit your application no later than March 25, 2019, through the University's web interface at http://www.uu.se/en/about-uu/join-us/details/?positionId=254654.  
The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply.

For further information, consult the full announcement at http://www.uu.se/en/about-uu/join-us/details/?positionId=254654 or contact Bengt Jonsson ([email protected]) or Kostis Sagonas ([email protected]),

About working in Sweden: Sweden is a fantastic place for living and working. Swedes are friendly and speak excellent English. The quality of life is high, with a strong emphasis on outdoor activities. The Swedish working climate emphasizes an open atmosphere, with active discussions involving both junior and senior employees. Healthcare incurs only small fees. Parental benefits allow 13 months of parental leave, extending the length of employment correspondingly. Childcare is of high quality and very affordable.