PhD Position in Software Security, Verification, and Testing
Uppsala University Department of Information Technology

Up to 3 PhD positions in Software Security, Verification, and Testing

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 46.000 students, 7.300 employees and a turnover of SEK 7.3 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:

Duties/Project description: The overall topic for the positions is the development of techniques for verification, testing, and security analysis of software. Techniques for ensuring that software is free of bugs and security vulnerabilities are of utmost importance, since software vulnerabilities can often be exploited to cause huge damage. Techniques in the scope of the project include program analysis, verification, symbolic execution, testing, fuzzing, taint analysis, and model learning, supported by constraint solving and SMT. The goals include to significantly extend the power and scalability of currently available techniques to make them applicable to real-world code bases; including concurrent and embedded software, as well as software for IoT systems.

Environment: The positions are funded by several projects: Projects from the Swedish Research Council and the KAW foundation support basic research on verification and testing of concurrent and embedded programs. The Foundation for Strategic Research (SSF) supports the project aSSIsT aSSIsT: Secure Software for the Internet of Things ( The effort will be conducted in an environment 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 several tools for the Erlang programming language.

The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching) as well as taking graduate courses. The candidate will be expected to teach in English or Swedish.

Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. We expect the candidate to be fluent in verbal and written English.

Additional qualifications: It is helpful to have a good background in some of the fields of testing, program analysis, compiler techniques, model checking, formal verification, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms.

How to apply: The application should include a statement of purpose, motivating preferred research directions. The application should further include a description of past experience, a CV, copies of exams, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. The candidates should indicate the earliest feasible starting date of employment and are encouraged to provide letter(s) of recommendation and contact information to reference persons.

Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7 and in Uppsala University's rules and guidelines

Salary: According to local agreement for PhD students.

Starting date: As soon as possible.

Type of employment: Temporary position according to the Higher Education Ordinance chapter 5 § 7.

Scope of employment: 100 %

For further information about the position please contact: Bengt Jonsson,

Please submit your application by 31 July 2020, UFV-PA 2020/2536.

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 You are also welcome to contact International Faculty and Staff Services at

Please do not send offers of recruitment or advertising services.

Submit your application through Uppsala University's recruitment system.

Placement: Department of Information Technology

Type of employment: Full time , Temporary position longer than 6 months

Pay: Fixed salary

Number of positions: 3

Working hours: 100 %

Town: Uppsala

County: Uppsala län

Country: Sweden

Union representative: ST/TCO
Seko Universitetsklubben

Number of reference: UFV-PA 2020/2536

Last application date: 2020-07-31

Login and apply

If you apply for this position please say you saw it on Computeroxy


All Jobs


Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions