[pept:74] PhD Fellowship in Valencia, Spain

[Maria Alpuente <alpuente@xxxxxxxxxxx> (by way of Robert Glueck)]

DOCTORAL RESEARCH GRANT

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
(ELP).

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:

   http://www.dsic.upv.es/users/elp/elp.html

=============================================================

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:

           http://www7.mcyt.es/becas/InicioBecas

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

Queries concerning the position should
be directed to Maria Alpuente (alpuente@dsic.upv.es)

___________________________________________________
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
http://www.dsic.upv.es/~alpuente
___________________________________________________