Investigador Junior

Función: - Estudio de las características del lenguaje Ethereum Virtual Machine. - Desarrollo y aplicación de métodos formales para el análisis y verificación de programas EVM. - Transformación de programas EVM así como la extracción de información de alto nível.
- Empresa: UNIVERSIDAD POLITECNICA DE MADRID

- Nº de Plazas: 1
- Referencia: HRS2023/176

- Publicada el 14/3/2023

- Publicada hasta el 02/04/2023
- Tipo de Contrato: Indefinido

- Dedicación: Jornada completa

- Remuneración Bruta (euros/año): 18.000
- Localidad: Boadilla del Monte

- Provincia: Madrid

- Disponibilidad para viajar: Si
- Fecha de Incorporación: 15/04/2023

- Fecha de Finalización: 6 meses
- Nível Académico
Grado

Master

- Titulación Académica
Matemáticas (Titulación Universitaria)

Ingeniería Informática (Titulación Universitaria)

- Áreas tecnológicas
V-081 Programación

- Idiomas
Idioma: Inglés

Nível Lectura: Alto

Nível Escrito: Alto

Nível Conversación: Alto

Idioma: Español

Nível Lectura: Alto

Nível Escrito: Alto

Nível Conversación: Alto

- Conocimientos de Informática
Capacidad para el trabajo en equipo
- Conocimientos de Latex
- Manejo de Linux
- Programación en Python
Experiência
- EXPERIENCIA EN INVESTIGACION REQUERIDA/REQUIRED RESEARCH EXPERIENCE:

CAMPO INVESTIGACIÓN 1/RESEARCH FIELD 1: Computer science - Programming
AÑOS MÍNIMOS DE EXPERIENCIA REQUERIDOS/MINIMUM YEARS OF EXPERIENCE REQUIRED: 1 - 4
- Otros
- **TAREAS/TASKS**:

- Estudio de las características del lenguaje Ethereum Virtual Machine.
- Desarrollo y aplicación de métodos formales para el análisis y verificación de programas EVM.
- Transformación de programas EVM así como la extracción de información de alto nível en dichos programas.
- Análisis del modelo de memoria y de storage de contratos Solidity compilados a EVM.

**REQUERIMIENTOS ESPECIFICOS/SPECIFIC REQUIREMENTS**:

- Conocimientos en métodos formales y matemáticas aplicada

**BENEFICIOS/BENEFITS**:

- Los proporcionados por la Universidad Politécnica de Madrid a sus contratados laborales con cargo a proyectos de investigación.
- Horario flexible

**CRITERIOS Y PROCESO DE SELECCION/ELIGIBILITY CRITERIA AND SELECTION PROCESS**:

- Adecuación de la titulación a los requerimientos de la plaza
- Adecuación de los conocimientos a los de la plaza convocada
- Expediente académico
- Experiência profesional y de investigación
- Idiomas