Netherlands: PhD Students on “Engineering Virtualized Services” (ENVISAGE) at Centrum Wiskunde & Informatica (CWI)

Font size: Decrease font Enlarge font

Description: 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.

Conditions of employment: 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.

Centrum Wiskunde & Informatica (CWI)
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.


Formal methods :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.

Additional information:

For more information about the vacancy, please contact Prof.dr. Frank S. De Boer, email
For more information about CWI, please visit or watch our video “A Fundamental Difference” about working at CWI.

Deadline: 1st October 2013

Be Sociable, Share!

No Comments

Post your comment comment

You must be logged in to post a comment.