PhD position available

The group ELP "Automated Software Engineering, Logic Programming and Programming Languages" of the Technical University of Valencia (UPV) has an open position for a PhD student for 4 years funded by the Spanish Ministry of Education and Scientific Research, to work in the project:

"SELF: Software Engineering and Lightweight Formalisms"
Project coordinator: Maria Alpuente

The goal of the project is to investigate on analysis, specification, verification, debugging, testing, learning, certification, transformation & optimization techniques for (multiparadigm) programs.

The candidate must have an adequate theoretical background in computer science with some knowledge of mathematical logic. Knowledge of logic programming or functional/equational programming is not required but will be an asset.

According to the Spanish Law, only candidates who obtained their BSc/Eng. Degree after 1-1-2001 can be considered.

The salary is 1100 gross monthly euros, with an incremental raise for each subsequent year.
In agreement with the Spanish Law, PhD fellowships have a 2% income tax. Basic health insurance (covering illness and accidents) is gratis (paid by UPV).
This applies until the fellow obtains the "research sufficiency" (which is usually obtained at the end of the second year). Once this happens, PhD fellowships are included into the general health insurance system, and 12.7% is deduced from the salary.

Please, consult the Spanish Ministry Web site of these fellowships (for further questions, for the final list of accepted fellows, for the final granting to one of the accepted fellows, etc) at:

http://wwwn.mec.es/ciencia/jsp/plantilla.jsp?area=becasfpi&id=31

For an automatic translation of the contents, see this page

How to apply (See also the FAQ)

First, register your intention to apply immediately using the electronic application form on the WWW via

http://213.229.161.10/becasfpi
This page is written in Spanish but a brief description of the application form and the different web pages is given here.

The full application should contain:

1. A signed, printed copy of the Web application form, where the project SELF must be explicitly chosen (from the projects list).
   Don't forget to sign in the first page
2. A passport photocopy
3. Attested copies of degrees and other certificates, including the complete list of courses, grades, and dates. An explanation of the corresponding evaluation system (min and max. qualification to pass) is also required
   Official translation (to spanish) is mandatory -of both, degree certificate and evaluation system- if written in a different language
4. A certification, granted by a spanish university, that the undergraduate degree is valid for admission in its PhD programme. This can be obtained from UPV if document 3 above is timely provided.
5. Curriculum Vitae. You might like to provide some documents as an evidence of your expertise or adequacy. However, letters of recommendation are only considered if directly sent to UPV from the person who writes the recommendation and should not be submitted with your application.

Send your application (paper mail), to arrive

BEFORE February 4th, 2005