Researcher Position on Techniques for Detecting Security Vulnerabilities in Software
Uppsala University is a comprehensive research-intensive university with a strong international standing. Our mission is to pursue top-quality research and education and to interact constructively with society. Our most important assets are all the individuals whose curiosity and dedication make Uppsala University one of Sweden’s most exciting workplaces. Uppsala University has 44.000 students, 7.100 employees and a turnover of SEK 7 billion.
The Department of Information Technology has a leading position in research and education. The Department currently has about 280 employees, including 120 teachers and 110 PhD students. More than 4000 students study one or more courses at the department each year. More info: http://www.it.uu.se
The candidate will perform research to develop techniques for detecting security vulnerabilities in software, and applying these techniques in software for IoT devices. 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; on foreseen application is to analyze the widely-used IoT OS Contiki.
The Researcher position is time-limited for a maximum of one year, and may include some teaching (at most 20%, depending on interest of the candidate)
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.
A Researcher position requires a PhD degree in Computer Science, Computer Engineering, or equivalent. A successful candidate should have a strong research experience in some of the fields: program analysis, compiler techniques, symbolic execution, testing, 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.
Criteria for ranking:
When ranking several qualified applicants, scientific skills will be of primary importance. The university aims to recruit the person who, in the combined evaluation of competence, skills and documented qualification, is judged most suitable to independently carry out and develop the work at hand, and to contribute to a positive development of the aSSIsT project and the department.
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.
Uppsala University strives to be an inclusive workplace that promotes equal opportunities and attracts qualified candidates who can contribute to the University’s excellence and diversity. We welcome applications from all sections of the community and from people of all backgrounds.
Salary: Individual salary.
Starting date: As agreed.
Type of employment: Temporary position for 1 year.
Scope of employment: 100%
For further information about the position please contact:
Please submit your application by 16 July 2019, UFV-PA 2019/2413.
Are you considering moving to Sweden to work at Uppsala University? If so, you will find a lot of information about working and living in Sweden at www.uu.se/joinus. You are also welcome to contact International Faculty and Staff Services at email@example.com.
Please do not send offers of recruitment or advertising services. Applications must be submitted as described in this advertisement.
Placement: Department of Information Technology
Type of employment: Full time , Temporary position longer than 6 months
Pay: Individual salary
Number of positions: 1
Working hours: 100%
County: Uppsala län
Number of reference: UFV-PA 2019/2413
Last application date: 2019-07-16
HR Excellence in Research
The HR Excellence in Research logo is a seal of quality that lets you know Uppsala University is committed to implementing the European Charter for Researchers and the Code of Conduct for the Recruitment of Researchers.
As an employee at Uppsala University, you receive a number of great benefits. Here we have listed the most important ones.