PhD Fellowship in Valencia, Spain

Maria Alpuente
Wed, 06 Feb 2002 14:54:57 +0100


Extensions of Logic Programming and Formal Methods


The Department of Software of the Technical University
of Valencia UPV (Spain), offers one research scholarship
to pursue a Ph.D. degree in the
Extensions of Logic Programming and Formal Methods Group

The financial support is provided by the
Spanish Ministry of Science and Technology.
The grant is posted for one 1-year, extensible to 4 years.

The applicants must have a degree in Computer Science
to be eligible for PhD admission and research scholarship.

The ELP Group currently has 7 faculty members at Valencia, 
leading activities in different research areas. The topics 
eligible for research are described below:

- Programming Languages: Functional, Logic, Concurrent 
  languages. Multiparadigm Programming.

- Term Rewriting Systems.

- Formal methods in Software Engineering: Semantics-based 
  analysis, verification, learning, debugging, transformation 
  and optimization of (multiparadigm) programs.

Information about the ELP group (9 PhD's, 18 researchers)
can be found at:


Appointment and salary
PhD students are appointed for a maximum period of 4 years 
with a gross salary around 10,000 Euros per year (this is not 
bad for the Spanish cost of living, particularly in Valencia).  
This includes a 1-month holiday.  As part of their training,
PhD students will enroll in the PhD program for the graduate 
courses. The scholarship will also cover all tuition fees.

Information and application

The call for applications, forms to fill, and all the
information to apply can be found at the URL:

The deadline to send the application is February 21, 2002.

Queries concerning the position should 
be directed to Maria Alpuente (

Prof. Maria Alpuente Frasnedo 
Dpto. de Sistemas Informaticos y Computacion 
U. Politecnica de Valencia 
Camino de Vera s/n - Apdo. 22.012 
E-46022 Valencia (Spain)

Fax    +34 96 387 9726