Job Description

We are looking for applicants that will play a significant role in building up new empirical knowledge concerning security vulnerabilities regarding input data flow in software systems; devise affordable approaches to safely deal with malicious communication among software systems; devise new techniques that combine pragmatic formal methods verification, design-by-contracts, and static analysis, providing developers with a way to automatically express formal security checks into their source code bases.

The main goals of this project are:

  • Characterize security vulnerabilities related to data flow.
  • Automatic detection of security vulnerabilities related to data flow.
  • Automatic generation of contracts against vulnerabilities.
  • Automatic test case generation for input data vulnerabilities.


We are looking for candidates who have recently completed or expect to complete very soon an MSc or equivalent degree in computer science, electrical/electronic engineering, applied mathematics, applied physics, or a related discipline. Experience in the following or related fields are preferred: software engineering and software security.

The successful applicants will have:

  • good programming skills
  • curiosity and analytical skills
  • the ability to work in a multi-disciplinary team
  • motivation to meet deadlines
  • good spoken and written communication skills
  • an interest in communicating their research results to a wider audience
  • proficiency in English

This project will be developed together with Singapore University of Technology and Design (SUTD). The student will perform a yearly work visit to SUTD campus.

Electrical Engineering, Mathematics and Computer Science

The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is known worldwide for its high academic quality and the social relevance of its research programmes. The faculty’s excellent facilities accentuate its international position in teaching and research. Within this interdisciplinary and international setting the faculty employs more than 1100 employees, including about 400 graduate students and about 2100 students. Together they work on a broad range of technical innovations in the fields of sustainable energy, telecommunications, microelectronics, embedded systems, computer and software engineering, interactive multimedia and applied mathematics.

The Department of Software Technology (ST) is one of the leading Dutch departments in research and academic education in computer science, employing over 150 people. The ST Department is responsible for a large part of the curriculum of the bachelor’s and master’s programmes in Computer Science as well as the master’s programme in Embedded Systems. The inspiration for its research topics is largely derived from technical ICT problems in industry and society related to large-scale distributed processing, embedded systems, programming productivity, and Web-based information analysis. Conditions of employment

The TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. An International Children’s Centre offers childcare and an international primary school. Dual Career Services offers support to accompanying partners. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities.

Information and application

For more information about this position, please contact Maurício Aniche (m.f.aniche at and Arie van Deursen (arie.vandeursen at

Interested applicants should send an up-to-date curriculum vitae, letter of application, and the names and the contact information (telephone number and email address) of two references to our e-mail. The letter of application should summarise (1) why the applicant wants to do a PhD, (2) why the project is of interest to the applicant, (3) evidence of suitability for the job, and (4) what the applicant hopes to gain from the position.

The application procedure is ongoing until the position is filled, so interested candidates are encouraged to apply as soon as possible and before September 2018. Note that candidates who apply after this deadline may still be considered but applications before the deadline will be given priority.

Enquiries from agencies are not appreciated.