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

 COMPARTIR OFERTA
Facebook  Twitter  LinkedIn 
Imprimir en blanco y negro

Ofertas de empleo


AVISO: Esta oferta no se encuentra activa.

Oferta de Trabajo  Código: 33731  

Puesto: Personal Investigador De Apoyo

Función: Desarrollo de un analizador para la inferencia de condiciones de conmutatividad sobre bloques de código simples.
Empresa: S2018/TCS-4314 FORTE-CM (FORMAL MODELS AND TECHNOLGIES FOR EMERGING APLICATIONS) Nº de Plazas: 1
Referencia: S2018/TCS-4314 Publicada el 6/9/2019 Publicada hasta el 20/9/2019
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada completa Remuneración Bruta (euros/año): 13491,12
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si
Fecha de Incorporación: 21/10/2019 Fecha de Finalización: 20/10/2020

Nivel Académico
Grado  

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

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

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

Conocimientos de Informática  
Programación en Java.
Programación en Prolog.

Experiencia
Es imprescindible experiencia en el desarrollo de software usando lenguajes de programación declarativos, como Prolog.

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 S2018/TCS-4314 FORTE-CM de la convocatoria de ayudas para la realización de programas de actividades de i+d entre grupos de investigación de la Comunidad de Madrid de la convocatoria de Tecnologías 2018, cofinanciada por el Fondo Social Europeo y del Fondo de Desarrollo Regional 2014-2020 de la Comunidad de Madrid