Please, pass on to interested students. Apologies for multiple copies. ---------------------------------------------------------------------- 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 http://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 document 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 ([EMAIL PROTECTED]) 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 ---------------------------------------------------------------------- _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell