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

Puesto: Personal investigador de apoyo

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, model checking y estrategias. Desarrollo de prototipos.
Empresa: S2013/ICE-2731 N-GREENS FADOSS 1 Nº de Plazas: 2
Referencia: S2013/ICE-2731 N-GREENS FADOSS 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): 610,00 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
Ingeniero Superior/Licenciado  
Grado  

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  
Técnicas formales de análisis, validación y verificación de programas, en particular técnicas de resolución de restricciones, SMT, model checking y estrategias. 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 Informática - Formal Analysis and Design of Software Systems (FADoSS) research group

Criterios a valorar: Estar en posesión de Máster Universitario.