The Coq mailing list

[Santiago Escobar <sescobar AT dsic.upv.es>]

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 
(slucas AT 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
----------------------------------------------------------------------