PhD position available

The group GISUM "Software Engineering for Distributed Systems" of the University of Malaga (UMA) has two open positions for PhD students 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: Ernesto Pimentel

The goal of the project is to investigate on the extensions of well-known formal techniques for analyzing and verifying component-based systems as well as their further implementation. The techniques and tools will be applied to systems with well defined APIs, particularly to communication software and web services. Thus, the candidate should have an adequate theoretical background in computer science. It will also be valuable (but not required) knowledge about methods for dynamic and static program analysis, implementation techniques based on XML, and related tools, environments for developing applications in the context of communication protocols, and developing software for telephony (wired and mobile phones).

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 covered.
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 English 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:

A signed, printed copy of the Web application form, where the project SELF must be explicitly chosen (from the projects list). Please, note there are several projects with this acronym.
Don't forget to sign in the first page
A passport photocopy
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
A certification, granted by a spanish university, that the undergraduate degree is valid for admission in its PhD programme. This can be obtained from UMA if document 3 above is timely provided.
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 UMA from the person who writes the recommendation and should not be submitted with your application.

Send your application (paper mail), to arrive

BEFORE February 11th, 2005

to:

Dirección General de Investigación Ministerio de Educación y Ciencia Paseo de la Castellana, 160. 28071 Madrid. Spain

such as it is indicated in:

http://wwwn.mec.es/ciencia/becasfpi/files/NuevaConvoc.pdf

Alternatively (but to arrive BEFORE February 7th), you could also send your application to:

Ernesto Pimentel Depto. Lenguajes y Ciencias de la Computación E.T.S.I. Informática. University of Malaga Campus de Teatinos. 29071 Málaga. Spain