PhD positions in the INSIGHT project at the IT University of Copenhagen

IT-Universitetet (ITU)

Fuldtidsjob
Ph.d. & forskning
Storkøbenhavn

The IT University of Copenhagen invites candidates for a fully funded PhD position funded by the Danish Independent Research Council in the INSIGHT project – “Program Repair with Static Insights”.

Automatic bug finding is rapidly becoming a core technology in industrial software development. Large companies and key software projects use static code scanners to identify specific problems, colloquially known as bugs. Yet, finding bugs is not the same as fixing them. Bug reports are hard to read, and they often point to a problem manifestation, not to the underlying cause. Fixing requires substantial effort, as bugs are often fixed not in the same program location, where they are detected. As a consequence, programmers often ignore the alarms raised by code scanners. Thus, it is important to make bug reports easily digestible: ideally with a proposal how to fix the defect. This will help to diagnose and fix more bugs effectively.

In the project you will collaborate with the Linux Foundation, developers at Red Hat, and the researchers at CMU in Pittsburgh (the group of prof. Claire Le Goues ) to automatically generate patches for resource manipulation bugs in The Linux Kernel. The ideal candidate will have training in computer science with interest in functional programming, program analysis, machine learning and operating systems. You need to exhibit strong interest in making tools useful for software engineers.

The position is fully-funded. The budget includes full-time researcher salary, health insurance, paid vacation, pension, a budget for taking courses, attending conferences, and project-related travel. When hired you will join the Software Quality Research (SQUARE) Group at IT University, part of our lively and dynamic Computer Science Department (ca. 70 researchers). The position is based in Copenhagen, one of the most attractive European cities to live in.

Qualification Requirements:

  • Candidates should have an M.Sc. or B.Sc. degree (or equivalent) in computer science or software engineering which includes courses on programming language technology, test, verification, programming language semantics in machine learning.
  • Prior contributions to Linux kernel code, or prior experience with OCaml programming are an advantage but not a requirement.
  • High level of oral and written proficiency in English

Application
The application must be in English and must include(All other documents, such as transcripts must be accompanied by a translation in English or Danish):

  • A cover letter;
  • A statement of purpose, which includes a project description for the PhD project, providing evidence of independent thinking, novelty and originality, and a state of the art grasp of the targeted research field matching the project description above. Feel free to contact us for guidance in creating the project description.
  • This text should be maximum 5 standard pages long (ca. 2400 characters per page, including spaces, references and notes);
  • Documentation of academic degree(s); grade transcripts that documents outstanding academic achievement;
  • Curriculum Vitae, which must include names and contact information of two professional/academic references;
  • Applications may also include one relevant scientific publication written by the applicant, and/or a portfolio of practical work (for instance contributions to open source projects), and/or the applicant's master thesis if relevant. Letters of recommendation can also be included in the application

Applications without the above-mentioned documents will not be assessed.

It is understood that qualified applicants will satisfy these requirements to varying degrees, for example because of differences in publication cultures in various research fields.

The starting time for the position can be negotiated. The earliest possible starting time is December 2018.

Early contact with our faculty staff is strongly encouraged.

General information
The IT University of Copenhagen (ITU) is a teaching and research-based tertiary institution concerned with information technology (IT) and the opportunities it offers. The IT University has more than 70 full-time Faculty members. Research and teaching in information technology span all academic activities which involve computers including computer science, information and media sciences, humanities and social sciences, business impact and the commercialisation of IT.

Successful applicants will be employed and enrolled at the ITU University for a period of 3 or 4 years depending on the university degree level of the applicant.

Salary
Appointment and salary will be in accordance with the Ministry of Finance’s agreement with the Danish Confederation of Professional Associations (AC).

Application procedure
You can only apply for this position through our e-recruitment system. Apply by pushing the button "Apply for position" in the job announcement on our website: http://en.itu.dk/About-ITU/Vacancies

Please read the guidelines for applicants carefully before filling in the application form. You can see the guidelines through this link: www.itu.en/Guidelines

Questions about the positions can be directed to Andrzej Wąsowski (wasowski@itu.dk)

Questions related to the application procedure may be directed to the Personnel Section, Kristina Køj-Udsen, kuds@itu.dk

The applicant will be assessed according to the Appointment Order from the Ministry of Science, Technology and Innovation of 25 April 2008.

The IT University may use shortlisting in connection to the recruitment process. I In case of shortlisting, the Chairman of the hiring committee selects applicants for assessment in consultation with the hiring committee after the application deadline. All applicants are notified whether their application has been passed for assessment. The shortlisting of candidates for assessment is based on the criteria in the job posting.

Application deadline: 24 September 2018, at 23:59 CET.

Applications/enclosures received at ITU after the application deadline will not be taken into consideration. If you submit an application, it is your responsibility to ensure that it arrives before the deadline so please allow sufficient time for upload of publications and other documents.

The IT University invites all qualified researchers regardless of age, gender, religious affiliation or ethnic background to apply for the positions


Ansøg inden 2 dage (24.09.2018)

Fuldtidsjob
Ph.d. & forskning
Storkøbenhavn
IT
Marketing & Business
Naturvidenskab
Teknik & Teknologi
Forskning & Udvikling
IT - Netværk & Telekomm.
IT - Software
Undervisning



IT-Universitetet (ITU) - hurtigt overblik


IT-Universitetet (ITU)
IT-Universitetet (ITU)
IT-Universitetet i København (ITU) blev grundlagt i 1999, og er Danmarks førende universitet med fokus på it-forskning og -uddannelse. Vi leverer state-of-the-art undervisning og forskning inden for datalogi, forretnings-it og digitalt design.

Placering
Rued Langgaardsvej 7
2300 København S
Logo: IT-Universitetet (ITU)
Efterspørgsel og statistik

Hvilke jobtyper og arbejdsområder udbyder vi normalt og hvor mange nye talenter søger vi efter?

Nyeste tweets
Henter tweets...
Facebook feed

Henter facebook feed...
LinkedIn

Følg vores aktiviteter på LinkedIn.

Instagram

Find fotos mm. på vores officielle Instagram-side.

Webside

Få mere info omkring vores virksomhed på vores egne websider:

http://itu.dk

IT-Universitetet (ITU) i Google

Er der andre informationer om os, som du burde vide? Se, hvad en Google-søgning siger.


https://itu.jobbank.dk/job/1213865/
Vi bruger cookies til statistik, sociale medier og brugeroplevelse. Ved at bruge sitet accepterer du vores privatlivspolitik. (luk)
HPT