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

Puesto: Personal de apoyo a la investigación

Función: Desarrollo de técnicas de análisis específicas para el análisis de contratos inteligentes. Evaluación experimental de las técnicas propuestas sobre contratos inteligentes Ethereum.
Empresa: S2018/TCS-4314 FORTE-CM (FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APLICATIONS) Nº de Plazas: 1
Referencia: S2018/TCS-4314 Publicada el 30/6/2020 Publicada hasta el 30/7/2020
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada completa Remuneración Bruta (euros/año): 13,512.00
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: No
Fecha de Incorporación: 1/10/2020 Fecha de Finalización: 31/12/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 Python.
Programación en C++.
Conocimientos de Ethereum y Smart Contracts.
Conocimientos de SAT o SMT.

Experiencia
Imprescindible haber trabajado previamente en análisis de contratos inteligentes y con la plataforma Ethereum.
Imprescindible tener conocimientos matemáticos sobre semántica de lenguajes de programación y análisis estático de programas.

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