Empleo

Personal de apoyo a la investigación (UCM-DTRS)

Fecha publicación: 26 de agosto de 2020

Estudio y aplicación de técnicas y modelos computacionales de Machine/Deep Learning para la creación de modelos de caracterización y diagnóstico de enfermedad celiaca en adultos. Aplicación de modelos estadísticos para predicción de enfermedad celiaca.

Personal de apoyo a la investigación (UCM-COSTA)

Fecha publicación: 14 de julio de 2020

Desarrollo e implementación de herramientas de análisis y simplificación de circuitos aritméticos para pruebas de conocimiento nulo.

Personal de apoyo a la investigación (UCM-COSTA)

Fecha publicación: 30 de junio de 2020

Desarrollo de técnicas de análisis específicas para el análisis de contratos inteligentes. Evaluación experimental de las técnicas propuestas sobre contratos inteligentes Ethereum.

Personal de apoyo a la investigación (UCM-DTRS)

Fecha publicación: 13 de enero de 2020

Investigación en el ámbito del Programa FORTE-CM con énfasis en la aplicación de algoritmos genéticos al testing de sistemas expresados mediante FSMs.

Personal de apoyo a la investigación (UCM-COSTA)

Fecha publicación: 6 de septiembre de 2019

Desarrollo de un analizador para la inferencia de condiciones de conmutatividad sobre bloques de código simples.

Personal de apoyo a la investigación (URJC-Kybele)

Fecha publicación: 24 de julio de 2019

Tareas de análisis de datos e investigación en el ámbito de la ingeniería de Servicios y Modelos de negocio.

Personal de apoyo a la investigación (UAM-miso)

Fecha publicación: 25 de abril de 2019

Desarrollo en Eclipse/EMF de un entorno de pruebas de mutación. Extensión de un DSL para la definición de operadores de mutación.

Técnico de Gestión del programa FORTE-CM

Fecha publicación: 24 de febrero de 2019

Dar soporte al Programa. Gestionar la explotación de los resultados científicos y buscar financiación y nuevos socios. Atender a las entidades, organismos o empresas que se interesen por el Programa. Realizar la gestión presupuestaria y administrativa.