mcyt. Portal de empleo i+d+i : S2018/TCS-4314. S2018/TCS-4314 FORTE-CM (FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APLICATIONS)

COMPARTIR OFERTA

Ofertas de empleo

AVISO: Esta oferta no se encuentra activa.

Oferta de Trabajo

Código: 39360

Puesto: Personal de apoyo a la investigación
Función: Desarrollo e implementación de técnicas de verificación y análisis de contratos inteligentes y código de bytes de Ethereum. Evaluación experimental de las técnicas propuestas sobre contratos inteligentes de Ethereum.
Empresa: S2018/TCS-4314 FORTE-CM (FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APLICATIONS)		Nº de Plazas: 1
Referencia: S2018/TCS-4314	Publicada el 28/1/2021	Publicada hasta el 18/02/2021
Tipo de Contrato: Programas de Actividades de I+D de la CM	Dedicación: Jornada completa	Remuneración Bruta (euros/año): 26156,16
Localidad: Madrid	Provincia: Madrid	Disponibilidad para viajar: Si
Fecha de Incorporación: 01/04/2021	Fecha de Finalización: 31/12/2021

Nivel Académico

Grado

Titulación Académica

Matemáticas (Titulación Universitaria)

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: 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. Técnicas de verificación de programas.

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

Otros