Community: PhD Position in Technical University of Valencia (Spain)
Posted on Wednesday, January 19 @ 04:34:48 PST by poster |
|
Anonymous writes "PhD Position (DEADLINE 4 February 2004! See "How to apply" below.)
Departamento de Sistemas Informaticos y Computacion
Technical University of Valencia Spain
http://www.dsic.upv.es/users/elp
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 2 years (which can be extended to 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
www.dsic.upv.es/~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.
Salary for a first year PhD student is around 1100 Euros/month with an incremental raise for each subsequent year. Besides the salary, health insurance is provided.
How to apply
------------
First, register your intention to apply immediately using the electronic application form on the WWW via
http://213.229.161.10/becasfpi
The full application should contain:
1 A signed, printed copy of the Web application form, where
the project SELF must be explicitly choosed (from the projects list)
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
4 A certification, granted by an spanish university, that the
undergraduate degree is valid for admission in its PhD programme.
This can be obtained from UPV if do*****ent 3 above is timely provided.
5. Curriculum Vitae
For further information on how to apply please consult our website:
http://www.dsic.upv.es/users/elp
Send your application (paper mail), to arrive BEFORE
***** February 4th, 2004 ****
to:
Salvador Lucas (slucas@dsic.upv.es)
Departamento de Sistemas Informaticos y Computacion Universidad Politecnica de Valencia Camino de Vera s/n E-46022 Valencia (Spain) Phone +34 96 387 7007 (ext. 73531) http://www.dsic.upv.es/~slucas
"
|
| |
|