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

Puesto: Investigador Postdoctoral

Función: Investigación sobre fundamentos de lenguajes de programación y técnicas formales de análisis de programas, en particular basadas en sistemas de tipos. Desarrollo de prototipos.
Empresa: S2013/ICE-2731: N-Greens GPD 2 Nº de Plazas: 1
Referencia: S2013/ICE-2731: N-Greens GPD 2 Publicada el 04/03/2015 Publicada hasta el 16/03/2015
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada completa Remuneración Bruta (euros/año): 1.800 euros brutos mensuales
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si
Fecha de Incorporación: 06/05/2015 Fecha de Finalización: 31/07/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

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

Conocimientos de Informática  
Fundamentos de lenguajes de programación y técnicas formales de análisis de programas, en particular basadas en sistemas de tipos. 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