The Computational logic, Languages, Implementation, and Parallelism Laboratory

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 (

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.

Applications and information:

The deadline for applications is January 25, 2009. Applications received after this deadline may be considered if the scholarships have not been filled at the time. Applications should be sent to and include a curriculum vitae, a listing of grades from previous studies, a brief description of research interests with regards to the CLIP group, IMDEA Software, and HATS, and, if at all possible, letters of recommendation from teachers or managers that the student has worked with. More information on the research group and the HATS project can be found at and respectively.