PhD Students on the subject of "Engineering Virtualized Services" (ENVISAGE) | Centrum Wiskunde & Informatica (CWI)

Cloud computing is rapidly becoming the default operational model adopted in the ICT infrastructure of industry. Virtualization is a key technology enabler for cloud computing and for finegrained resource management. This PhD program contributes to the development of a framework for software-as-a-service in a virtualized environment which can be integrated into existing industrial software development processes. The targeted framework consists of advanced methods and tools for engineering complex services that enables:

- a design-by-contract methodology including service-level agreements;

- defining application-level services with resource requirements;

- modeling deployment scenarios reflecting elastic, virtualized architectures;

- a monitoring system assuring adaptability to failures and to renegotiations of service-level agreements;

- the systematic analysis of quality of service behaviors of these models at early stages in software development.

Specific objectives of the PhD program are:

- development of high-level programming concepts and techniques for leveraging resources and their dynamic management;

- formal methods to analyze resource needs at the design stage and to generate autonomous monitors of service-level agreements to address failures after deployment.

This PhD research is funded and will be carried out by the European project Envisage which starts at October 1, 2013.

Partners of this project are: University of Oslo, Centrum Wiskunde & Informatica, Unversity Darmstadt, Universidad Complutense de Madrid, Unversity of Bologna, Engineering – Ingegneria Informatica, SDL-Fredhopper and Atbrox.

Requirements:

The PhD candidates are required to have a master's degree in computer science with a solid background in formal methods and concurrent, parallel and distributed systems, as well as software development skills. Preferable qualifications for candidates include proven research talent, an excellent command of English, and good academic writing and presentation skills.

Terms and conditions:

The terms of employment are in accordance with the Dutch Collective Labour Agreement for Research Centres ("CAO-onderzoeksinstellingen"). The gross monthly salary, for a PhD student on a full time basis, is €2,057 during the first year and increases to €2,636 over the four year period. Employees are also entitled to a holiday allowance of 8% of the gross annual salary and a year-end bonus of 8,33%. CWI offers attractive working conditions, including flexible scheduling and help with housing for expat employees.

Information:

Applications can be sent before 1 October 2013 to Αυτή η διεύθυνση Email προστατεύεται από τους αυτοματισμούς αποστολέων ανεπιθύμητων μηνυμάτων. Χρειάζεται να ενεργοποιήσετε τη JavaScript για να μπορέσετε να τη δείτε.. All applications should include:

- a detailed CV including a summary of technical and scientific experiences and a synopsis of the diploma thesis. If applicable, the CV might contain detailed descriptions of previous research projects, a list of publications, and/or presentations at scientific meetings;

- a letter of motivation including research interests, reasons for applying for this position;

- undergraduate level certificates including university grades and the detailed list of university courses (with grades);

The applicants may also provide up to two names and contacts for referees who are acquainted with previous academic and research/professional activity of the candidate.

For more information about the vacancy, please contact Prof.dr. Frank S. De Boer, email Αυτή η διεύθυνση Email προστατεύεται από τους αυτοματισμούς αποστολέων ανεπιθύμητων μηνυμάτων. Χρειάζεται να ενεργοποιήσετε τη JavaScript για να μπορέσετε να τη δείτε..

For more information about CWI, please visit the CWI website or watch our video “A Fundamental Difference” about working at CWI.

About Centrum Wiskunde & Informatica

Centrum Wiskunde & Informatica (CWI) is the Dutch national research institute for mathematics and computer science and linked to the Netherlands Organisation for Scientific Research (NWO). The mission of CWI is to conduct pioneering research in mathematics and computer science, generating new knowledge in these fields and conveying it to trade, industry, and society at large.

CWI is located at Science Park Amsterdam. It is an internationally oriented institute, with 150 scientists from approximately 25 countries. The facilities are first-rate and include excellent IT support, career planning, training, and courses.

Research group

Research in Formal methods focuses on interaction, composition, and coordination of concurrent distributed systems, and encompasses foundations, technology, and applications. Specifically, in the context of component-based software engineering and service-oriented computing, we seek to provide well-founded technology for the easy and reliable composition of third-party applications. Integral to FM's approach is the development of solid mathematical foundations, including semantics, proof theory and coalgebra, on which such technology is to be based.

Application deadline

1 October 2013