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

Puesto: Personal investigador de apoyo

Función: Desarrollo e implementación de herramientas de análisis y simplificación de circuitos aritméticos para pruebas de conocimiento nulo.
Empresa: S2018/TCS-4314 FORTE-CM - FORMAL MODELS AND TECHNOLGIES FOR EMERGING APLICATIONS Nº de Plazas: 1
Referencia: S2018/TCS-4314 Publicada el 14/7/2020 Publicada hasta el 14/10/2020
Tipo de Contrato: Programas de Actividades de I+D de la CM Dedicación: Jornada completa Remuneración Bruta (euros/año): 15600,00
Localidad: Madrid Provincia: Madrid Disponibilidad para viajar: Si
Fecha de Incorporación: 26/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 Rust.
Programación en WebAssembly.
Programación de circuitos aritméticos, preferiblemente usando el lenguaje de programación Circom.
Diseño de compiladores.

Experiencia
Es imprescindible tener experiencia en el diseño e implementación de compiladores.  Del mismo modo, la experiencia en el análisis y simplificación de circuitos aritméticos y el uso del lenguaje de programación Circom se consideraran imprescindibles.
Por último, los conocimientos de Rust y WebAssembly así como tener experiencia desarrollando software en equipo se valorará favorablemente.

Otros

Se valorará favorablemente que el candidato posea una titulación de master relacionada con el área de conocimiento del proyecto. 

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