PhD Scholarships at the CLIP group and IMDEA Software. HATS EU
Announcement of Two PhD Scholarships to pursue PhD studies in
The CLIP group,
Technical University of Madrid (Spain) or
IMDEA Software
in the context of the HATS EU project
(http://www.hats-project.eu)
The CLIP group at the Technical University of Madrid (UPM) and IMDEA Software invite applications for two, fully funded, 4-year, PhD Scholarships for qualified graduate students.
Candidates should have graduated in Computer Science, Computer Engineering, or related fields prior to the start of their study at UPM. The working language of the group is English, and candidates can be of any nationality.
The Ph.D. work will center around the research areas of the CLIP group and IMDEA Software within the European research project "HATS", under the direction of Germán Puebla or Gilles Barthe.
The general aim of "HATS: Highly Adaptable and Trustworthy Software using Formal Models" is a tool-supported framework and formal methodology for the development of long-lived and trustworthy software systems. Specifically, HATS will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. The project will start March 1, 2009 and will run for four years.
Within the HATS project, the research of the CLIP group and IMDEA Software focuses on static program analysis for resource consumption, including time and memory consumption, and on security and correctness issues about distributed and concurrent models and applications.
The offered scholarships provide excellent opportunities for international collaboration since HATS is a European project with 11 partners from 8 countries. Also, both the CLIP group and IMDEA Software are quite international.