Desarrollo de herramientas de depuración automática

DESCRIPCIÓN DEL PROYECTO: "El becario se integrerá en el grupo de investigación
MiST (Multi-paradigm Software Technology). Concretamente en la línea de técnicas
automáticas de depuración. En esta línea se estudiarán nuevas técnicas de depuración
para diferentes lenguajes; y se abordará su implementación. El becario asistirá a las
reuniones del grupo de investigación como un miembro más y participará en las
discusiones y tareas de investigación a lo largo de todo el proyecto"

RESPONSABLE DE LA BECA: Josep Silva Galiana

DURACIÓN: 18 meses

FECHA PREVISIBLE DE INICIO: 01/06/09

DOTACIÓN: 444 euros/mes

REQUISITOS O PERFIL DE LOS ESTUDIANTES: Estudiantes de Ingeniería Informática
o de alguno de los Másteres en Informática, preferiblemente en último curso.

Se valorará especialmente:

+ Expediente académico
+ Haber cursado las asignaturas relacionadas con la ingeniería del software automática
+ Conocimientos en el campo de la depuración de programas
+ Dominio del inglés

SOLICITUDES: Los candidatos podrán optar a la beca mediante solicitud
dirigida al Profesor Responsable de la Beca (Josep Silva) ue podrán remitir
a través de la secretaría del DSIC hasta el día 31 de Mayo de 2009 a las 14:00h.
Junto a la solicitud se deberá adjuntar copia del expediente académico,
currículum vitae, y cualquier otra documentación que acredite que el candidato
se ajusta al perfil de la beca. El Profesor Responsable del Proyecto se pondrá
en contacto con los candidatos vía e-mail para la realización de una entrevista personal.


Valencia, 12 de Mayo de 2009