Identificación de usuariosPortal de Empleo I+D+i
 COMPARTIR OFERTA
Facebook  Twitter  LinkedIn 
Imprimir en blanco y negro

Ofertas de empleo


Oferta de Trabajo  Código: 53587  

Puesto: INVESTIGADOR JUNIOR METODOS FORMALES

Función: - Estudio de las características del lenguaje Ethereum Virtual Machine. - Desarrollo y aplicación de métodos formales para el análisis, verificación y optimización de programas EVM. - Transformación de programas EVM así como la extracción de información
Empresa: UNIVERSIDAD POLITÉCNICA DE MADRID Nº de Plazas: 1
Referencia: HRS2024/348 Publicada el 26/7/2024 Publicada hasta el 09/08/2024
Tipo de Contrato: Indefinido Dedicación: Jornada parcial Remuneración Bruta (euros/año): 20000 (30 h /semana)
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si
Fecha de Incorporación: 02/09/2024 Fecha de Finalización: 1 año

Nivel Académico
Grado  

Titulación Académica
Informática (Titulación Universitaria)

Áreas tecnológicas
V-081 Programación

Idiomas
Idioma: Inglés Nivel Lectura: Alto Nivel Escrito: Alto Nivel Conversación: Alto
Idioma: Español Nivel Lectura: Alto Nivel Escrito: Alto Nivel Conversación: Alto

Experiencia
Computer science - Programming 6 MESES

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, verificación y optimización de programas EVM.- Transformación de programas EVM así como la extracción de información de dichos programas.- Análisis del modelo de memoria y de storage de programas EVM.

HABILIDADES-CUALIFICACIONES/SKILLS-QUALIFICATIONS: 

- Capacidad para el trabajo en equipo- Conocimientos de Latex- Manejo de Linux- Programación en Python- Lenguajes de ensamblador

REQUERIMIENTOS ESPECIFICOS/SPECIFIC REQUIREMENTS:

- Conocimientos en métodos formales, lógical formal ymatemáticas

BENEFICIOS/BENEFITS:

- Los proporcionados por la Universidad Politécnica deMadrid a sus contratados laborales concargo a proyectos de investigación.- Horario flexible y teletrabajo

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

Para la valoración de los candidatos se tendrán en cuenta los siguientes aspectos, cuyaponderación quedará a juicio del Comité de Evaluación de la plaza convocada:- 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- Experiencia en investigación en métodos formales- Idiomas

 


Si es ud. un usuario registrado con su Currículum en la sección del portal de empleo i+d+i y está interesado en esta oferta de trabajo puede ud. inscribirse directamente en la Oferta a través del botón "inscribirse". Su interés por la oferta será comunicado a la empresa y su Currículum será accesible para la misma durante el proceso de selección asociado.