Identificación de usuariosPortal de Empleo I+D+i


 COMPARTIR OFERTA
Facebook  Twitter 
Imprimir en blanco y negro
Ofertas de empleo
 

AVISO: Esta oferta no se encuentra activa.

Oferta de Trabajo  Código: 16759  

Puesto: Investigador Postdoctoral

Función: Investigación sobre técnicas formales de análisis, validación y verificación de programas, en particular técnicas de depuración declarativa. Desarrollo de prototipos.
Empresa: S2013/ICE-2731: N-Greens GPD 1 Nº de Plazas: 1
Referencia: S2013/ICE-2731: N-Greens GPD 1 Publicada el 4/3/2015 Publicada hasta el 16/3/2015
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada parcial Remuneración Bruta (euros/año): 836 euros brutos mensuales
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si
Fecha de Incorporación: 06/05/2015 Fecha de Finalización: 30/09/2015

Nivel Académico
Doctor  

Titulación Académica
Informática (Titulación Universitaria)

Áreas tecnológicas
V- Tecnologías de la Información y las Comunicaciones

Conocimientos de Informática  
Técnicas formales de análisis, validación y verificación de programas, en particular técnicas de depuración declarativa. Desarrollo de prototipos.

Experiencia
Experiencia investigadora (participación en proyectos, publicaciones) en el ámbito de las tareas a desarrollar y en general del proyecto.

Otros

UPM - Facultad de Informática. Grupo de Declaración Programativa (GPD)