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

Puesto: Personal Investigador de Apoyo S2018/TCS-4339 (BLOQUES-CM)

Función: Investigación sobre técnicas formales de análisis, validación y verificación de programas, en particular técnicas de resolución de restricciones, SMT y model checking. Desarrollo de prototipos.
Empresa: S2018/TCS-4339 BLOQUES-CM // FADoSS - Universidad Complutense de Madrid Nº de Plazas: 2
Referencia: S2018/TCS-4339 BLOQUES-CM FADoSS 1 Publicada el 6/5/2019 Publicada hasta el 29/5/2019
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada parcial Remuneración Bruta (euros/año): 9.488,28
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si, Internacional
Fecha de Incorporación: 01/07/2019 Fecha de Finalización: hasta 31/12/2019

Nivel Académico
Ingeniero Superior/Licenciado  

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

Áreas tecnológicas
P-07 Informática
V-071 Análisis y procesamiento de información

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

Conocimientos de Informática  
Máster en Investigación en Informática o en Ingeniería Informática

Experiencia
Experiencia investigadora (participación en proyectos, publicaciones) en el ámbito de las técnicas formales de análisis, validación y verificación de programas, y en particular en técnicas de resolución de restricciones, SMT y model checking, así como en el desarrollo de prototipos.

Otros

Se valorará estar en posesión de un master universitario oficial relacionado con la experiencia indicada en la oferta.

Los perfiles inscritos a través de esta oferta en la página web: https://mcyt.educa.madrid.org/empleo (requisito imprescindible para la presentación de candidaturas en el programa) que sean aceptados para continuar con el proceso de selección, recibirán instrucciones concretas para realizar la inscripción en la oferta de plazas del organismo contratante (UCM) a partir del 10 de mayo.

Los contratos se financiarán a través de la convocatoria de ayudas para la ejecución de Programas de Actividades de I+D entre grupos de investigación de la Comunidad de Madrid en Tecnologías 2018, y concretamente a través del programa S2018/TCS-4339 (BLOQUES-CM) que cuenta con una cofinanciación del 50% del Fondo Social Europeo en el período de programación 2014-2020 para la contratación de personal.