Ongeveer 20 uur geleden - Universiteit van Amsterdam (UvA) - Amsterdam
The Van't Hoff Institute for Molecular Sciences (HIMS) and the Institute of Physics (IoP) of the Faculty of Science invite applications for a four-year …
We are looking for applicants that will play a significant role in building up new empirical knowledge concerning security vulnerabilities regarding input …
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.
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.
For information about this vacancy, you can contact Dr. Mauricio Aniche, Assistant Professor. email: email@example.com.
To apply, please e-mail a detailed CV (with contact of two referees) along with a letter of motivation and a detailed transcript of university grades. If applicable,
please also attach a (draft) version of you Master thesis. Please send your application material before August 1, 2018 to: Hrfirstname.lastname@example.org. When applying for this postition, please refer to vacancy number EWI2018.46.