The Computational logic, Languages, Implementation, and Parallelism Laboratory

Ph.D. Scholarships

Announcing Two Ph.D. Scholarships at the CLIP group

Application deadline is December 6th, 2002 (strict!).

The CLIP (Computational Logic, Implementation and Parallelism) group offers 2 Ph.D., 4-year scholarships (research assistant level) within the area of programming language technology: program analysis, transformation, and compilation.

The work, intended to lead to a Ph.D., is to be performed as a member of the CLIP Group, at the Computer Science Dept., Technical University of Madrid (UPM), within a nationally funded research project (CUBICO). The scholarships themselves are funded directly also by the Spanish Ministry of Science and Technology.

The main theme of the work envisioned within the scholarships is to advance the state of the art of automatic program manipulation techniques. The objective is to increase the power of such techniques and integrate them in practical tools within the Ciao multi-paradigm programming system, which supports logic, functional, constraint, and object-oriented programming. One additional objective is to target program optimizations to the needs of the computational elements of pervasive computing environments. One of the main lines of work implies extending the program compilation and development tools so that they can be used in such an environment to reduce program resource consumption and to instrument programs to perform dynamic control of such consumption during execution. The final aim is to develop an environment that would be an ideal candidate for programming ambient intelligence in mobile and pervasive computing environments.


Applicants can be of any nationality, but should have a university degree officially recognized in Spain (or have been accepted to a PhD course in a Spanish University). The degree must have been obtained after January, 1, 2000, or before that, but after January, 1, 1996, provided that the candidate spent the period in between working at a company, or involved in family care, or military or social services.


Application deadline is December 6th, 2002 (strict).

Please, send a short CV, including previous research work and publications, and 1 to 3 references in electronic form to <clip-small @>. For more information on any of the above, please contact <clip-staff @>.