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: 25042  

Puesto: Doctor en Ingeniería Informática o Doctor en Informática

Función: Investigación sobre técnicas formales de análisis, validación y verificación de programas, en particular técnicas ligadas a sistemas de tipos. Desarrollo de prototipos.
Empresa: S2013/ICE2731 NGREENS SOFTWARE Universidad Complutense de Madrid Facultad de Informática Nº de Plazas: 1
Referencia: S2013/ICE2731: NGreens GPD 4 Publicada el 2/10/2017 Publicada hasta el 13/10/2017
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada parcial Remuneración: 900 Euros brutos mensuales
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si, Internacional
Fecha de Incorporación: 1/1/2018 Fecha de Finalización: 30/9/2018

Nivel Académico
Doctor  

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

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

Idiomas
Idioma: Inglés Nivel Lectura: Alto Nivel Escrito: Alto Nivel Conversación: Alto

Conocimientos de Informática  
Experiencia en investigación de técnicas formales de análisis, validación y verificación de programas, en particular técnicas ligadas a sistemas de tipos.
Experiencia en 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

Esta oferta saldrá publicada también en la página de la web de la Universidad Complutense de Madrid. Para que las solicitudes sean validadas, los candidatos deben solicitar la plaza tanto en el portal de empleo de la CM, como en la oferta de plazas del organismo contratante (UCM)

 

Este contrato está financiado a través del Programa S2013/ICE-2731 N-Greens de la convocatoria de ayudas para la realización de Programas de I+D de Tecnologías 2013 de la Comunidad de Madrid, estando cofinanciado en un 50% por el Fondo Social Europeo