KTH Royal Institute of Technology

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.

Job description
As a postdoc you will join the group of Prof. Benoit Baudry who investigates techniques to automatically improve test suites in the context of Continuous Integration. Empiricism and case studies form the core scientific foundations for this work.

In this project, the postdoc will investigate code analysis and transformation techniques to improve test suites in order to harness open source libraries. These techniques will combine dynamic analysis to learn what parts of the code can be better tested, with learning techniques to leverage knowledge about good test cases. The expected benefits of test improvement: catch regressions early, in the CI; increase existing test suites with boundary cases.

The postdoc is expected to develop an autonomous research activity in the area of software testing and dynamic analysis, which shall be published in the top conferences and journals in the fields of software engineering and systems. The applicant must also be ready to take part in supervision activities (Masters and PhD students). The working language is English. The application should be motivated with a one-pager research statement.

The Wallenberg Autonomous Systems and Software Program (WASP) is funding this postdoc position. WASP is Sweden’s largest ever individual research program, and provides a platform for academic research and education, fostering interaction with Sweden’s leading technology companies. See http://wasp-sweden.org/.

Related works:

https://arxiv.org/pdf/1807.05030.pdf

http://discovery.ucl.ac.uk/10055112/1/main.pdf

Qualifications
Applicants must hold or be about to receive a doctoral degree in Computer Science. The doctoral degree must have been obtained within the last three years from the application deadline (some exceptions for special grounds, for instance sick leave and parental leave). The candidate should have a strong background from at least one of the following areas: dynamic and static program analysis, compilation, software testing. Expertise in object-oriented programming and design is highly appreciated.

Trade union representatives

You will find contact information to trade union representatives at KTH:s webbpage.

Application

The application should contain the following:

  1. CV including relevant professional experience and knowledge.
  2. Copies of diplomas and grades from your previous university studies. Translations to English or Swedish if the original documents are not issued in one of these languages.
  3. Brief explanation of why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
  4. Representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
  5. At least two of recommendation letters

Log into KTH's recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad.

Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).

Others

Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.

For information about Processing of personal data in the recruitment process please read here.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

Type of employment Temporary position longer than 6 months
Contract type Full time
First day of employment 2019-04-01
Salary Monthly salary
Number of positions 1
Working hours 100 %
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2018-2763
Contact
  • Benoit Baudry, baudry@kth.se
  • HR Officer, rekrytering@eecs.kh.se
Published 22.Nov.2018
Last application date 15.Jan.2019 11:59 PM CET

Return to job vacancies