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

Puesto: Personal Investigador de Apoyo

Función: Generación automática de casos de prueba para contratos inteligentes (smart contracts).
Empresa: S2018/TCS-4339 BLOQUES-CM // Universidad Politécnica de Madrid Nº de Plazas: 1
Referencia: S2018/TCS-4339 BLOQUES-CM CLIP-BABEL 1 Publicada el 22/10/2019 Publicada hasta el 30/11/2019
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada completa Remuneración Bruta (euros/año): 20.000
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si, Internacional
Fecha de Incorporación: Inmediata Fecha de Finalización: 1 año

Nivel Académico
Ingeniero Superior/Licenciado  

Titulación Académica
Matemáticas (Titulación Universitaria)
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  
Lenguajes de programación. Programación funcional.

Experiencia
Se valorará la experiencia en programación concurrente y/o funcional y la experiencia investigadora

Otros

Tareas a desarrollar
En primer lugar el candiato recibirá formación en tecnologia Blockchain y generación automática de casos de prueba para software. A continuación, aplicará estos conocimientos a la generación automática de casos de prueba para contratos inteligentes (smart contracts).

Méritos a valorar
Buenos conocimientos de matemáticas, lógica y lenguajes de programación. Programación funcional.

Se valorará la experiencia en programación concurrente y/o funcional y la experiencia investigadora

 

Este contrato está financiado a través del programa S2018/TCS-4339 BLOQUES-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 2014-2020 de la Comunidad de Madrid