mcyt. Portal de empleo i+d+i : S2018/TCS-4313 Perfil 2. S2018/TCS-4313 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: 42708

Puesto: Personal de apoyo a la investigación (PAI-T)
Función: Desarrollo e implementación de herramientas de análisis y simplificación de circuitos aritméticos para pruebas de conocimiento nulo. Redacción de la documentación asociada a los desarrollos y creación de manuales de uso
Empresa: S2018/TCS-4313 FORTE-CM (FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APLICATIONS)
Referencia: S2018/TCS-4313 Perfil 2	Publicada el 25/1/2022	Publicada hasta el 25/2/2022
Tipo de Contrato: Programas de Actividades de I+D de la CM	Dedicación: Jornada completa	Remuneración Bruta (euros/año): 20.347,92
Localidad: Madrid	Provincia: Madrid	Disponibilidad para viajar: Sin especificar
Fecha de Incorporación: 28/03/22	Fecha de Finalización: 27/09/22

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 C++. Conocimientos de protocolos de conocimiento nulo. Conocimientos de Ethereum y Smart Contracts. Conocimientos de SAT o SMT.

Experiencia
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)