You cannot apply for this job anymore (deadline was 1 Aug 2018).
Browse the current job offers or choose an item in the top navigation above.
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.
Our main goals of this project are:
1. Characterize security vulnerabilities related to data flow.
2. Automatic detection of security vulnerabilities related to data flow.
3. Automatic generation of contracts against vulnerabilities.
4. Automatic test case generation for input data vulnerabilities.
This project is in partnership with Prof.dr. Sun Jun, from Singapore Univerisity of Technology and Design (SUTD). The candidate should be available for yearly visits to the SUTD campus.
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.
Fixed-term contract: 4 years.
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.
As a PhD candidate you will be enrolled in the TU Delft Graduate School. TU Delft Graduate School provides an inspiring research environment; an excellent team of supervisors, academic staff and a mentor; and a Doctoral Education Programme aimed at developing your transferable, discipline-related and research skills. Please visit www.tudelft.nl/phd for more information.
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 Software Technology (ST) is one of the leading Dutch departments in research and academic education in computer science, employing over 150 people. The department ST 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 Software Engineering. The inspiration for its research topics is largely derived from technical ICT problems in industry and society related to programming productivity, and software testing.
The Software Engineering Group aims in its research to obtain a deep understanding on how people build and evolve software systems. Furtmermore, we develop novel methods, techniques and tools that advance the way in which software is built and modified. SE researchers endeavour to be their research of siginificant impact on software development practices. The SE section is responsible for the programming and software engineering education of the bachelor and masters students of the Delft computer science studies.(www.se.ewi.tudelft.nl)
We like to make it easy for you, sign in for these and other useful features: