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

Puesto: Personal investigador de apoyo

Función: Verificación de algoritmos de robots distribuidos en anillo. Definición e implementación de un marco que permita la fácil especificación y verificación de dichos algoritmos. Aplicación a algorimos conocidos de sistemas distribuidos.
Empresa: S2013/ICE2731 NGREENS SOFTWARE Universidad Complutense de Madrid Facultad de Informática Nº de Plazas: 1
Referencia: S2013/ICE2731: NGreens FADOSS 3 Publicada el 5/4/2018 Publicada hasta el 27/4/2018
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada parcial Remuneración Bruta (euros/año): 1.600 euros brutos mensuales
Localidad: MADRID Provincia: Madrid Disponibilidad para viajar: Si, Internacional
Fecha de Incorporación: 15/7/2018 Fecha de Finalización: 30/9/2018 (con posibilidad de una extensión de 3 meses más)

Nivel Académico
Ingeniero Superior/Licenciado  

Titulación Académica
Informática (Titulación Universitaria)
  Tecnologías de las comunicaciones

Á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  
Formación y experiencia acreditada en métodos formales y lógica de reescritura, con respaldo de publicaciones internacionales.

Experiencia
Formación y experiencia acreditada en métodos formales y lógica de reescritura, con respaldo de publicaciones internacionales.

Otros

Se valorará estar en posesión de un máster universitario oficial.

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/ICE2731 NGREENS SOFTWARE-CM 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