PhD position in systematic testing of concurrent programs
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 currently has about 290 employees, including 30 professors, 85 academic teachers/researchers and 115 PhD students. More than 4000 students study one or more courses given by department each year. More info: http://www.it.uu.se/
Description of the subject area: The topic for the PhD position is systematic testing of concurrent software. Concurrent software is difficult to test, since threads may interact in a myriad number of unpredictable ways, making errors hard to detect, reproduce, and fix. Existing techniques for testing concurrent software are not powerful enough to cover the space of possible interactions in a satisfactory way with reasonable effort. In recent years, several advanced techniques, based on constraint solving, partial order reduction, among others, have been developed, also by us, that provide various guarantees for covering the space of possible interactions using a manageable number of representative test runs. Our group has implemented some of them in tools, such as Concuerror and Nidhugg, and successfully used them to test large concurrent code bases, e.g., from the Linux kernel. The project will (further) develop powerful such techniques, one goal being to make systematic testing of important concurrent code bases practical, and evaluate them on existing code bases, e.g., in the Linux kernel. The PhD student will be hosted within the UPMARC research centre (see http://www.upmarc.se)
Employment: The candidate will be employed by the Department of Information Technology at Uppsala University. The position is for a maximum of five years and includes research at 80% and departmental duties (mainly teaching) at a level of at most 20%.
Requirements: The candidate should have, or soon receive, a Master of Science or Engineering, or an equivalent degree in a field that is relevant to the research topic of the position. The candidate must have a strong background in computer science or computer engineering including skills in programming, good communication skills and excellent study results, as well as sufficient proficiency in oral and written English. A good background in some of the fields program analysis, compiler techniques, software engineering and testing, formal verification, concurrent algorithms, is helpful. Prior knowledge of Swedish is not required.
Applications must include a statement (max. 2 pages) in English of research interests, qualifications for the position and the earliest feasible starting date. The applications must include a CV, copies and translations (into English or Swedish) of diplomas and undergraduate transcripts (when available), the MSc thesis (or a current draft thereof, if it is unfinished), three reference persons (with contact information) and other relevant documents. Actual reference letters should not be included, as it is us who will contact referees, if needed.
Rules regarding PhD positions can be found in the Higher education ordinance chapter 5, §1-7 (https://www.uhr.se/en/start/laws-and-regulations/Laws-and-regulations/The-Higher-Education-Ordinance/), and the goals and regulations of Uppsala University (http://regler.uu.se/Rules_and_regulations_in_English/).
Uppsala University aims for gender balance and diversity in all activities in order to achieve a higher quality at all levels of the organization. We therefore welcome applicants of any gender and with different birth background, functionality and life experience.
Pay: Local guidelines for salary placement are used
Starting: As soon as possible.
Type of employment:Temporary position.
Working hours: 100 %
For further information about the position please contact:
Professor Bengt Jonsson, firstname.lastname@example.org, http://user.it.uu.se/~bengt/ or Docent Kostis Sagonas, email@example.com, http://user.it.uu.se/~kostis/
You are welcome to submit your application no later than 2017-02-19, UFV-PA 2016/3997.
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: Fixed pay
Number of positions: 1
Working hours: 100 %
County: Uppsala län
Stefan Djurström, Seko
Per Sundman, Saco-rådet 018-471 1485
Marie Ols, TCO/ST 018-471 2459
Number of reference: UFV-PA 2016/3997
Last application date: 2017-02-19
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.