FORmal models and Technologies for Emerging applications S2018/TCS-4314
Fecha publicación: 22 de noviembre de 2021
Tareas de análisis, extracción, transformación y carga de datos y automatización de procesos.
Fecha publicación: 12 de noviembre de 2021
Creación de un framework para el uso de técnicas de aprendizaje automático sobre artefactos de modelado. Creación de un recomendador para modelado, basado en redes neuronales
Fecha publicación: 6 de noviembre de 2021
Definición e implementación de un marco de testing formal para validar sistemas cuánticos.
Fecha publicación: 13 de octubre de 2021
Aplicación de técnicas de “machine learning” al análisis y predicción de la calidad del aire.
Fecha publicación: 21 de julio de 2021
Tareas de diseño de servicios, mantenimiento y mejora de software ya desarrollado por el grupo de investigación y tareas de investigación
Fecha publicación: 8 de julio de 2021
Definición e implementación de un marco de testing formal para validar sistemas cuánticos.
Fecha publicación: 9 de abril de 2021
Apoyo a las tareas de investigación desarrolladas por el grupo UCM-DTRS en el ámbito del Programa FORTE-CM. Específicamente, el contratado trabajará en el uso de “machine learning” para el análisis de la calidad del aire.
Fecha publicación: 16 de marzo de 2021
Apoyo a la investigación en el ámbito del diseño e implementación de servicios, metodologías ágiles y creación y edición de contenidos audiovisuales.
Fecha publicación: 28 de enero de 2021
Desarrollo e implementación de técnicas de verificación y análisis de contratos inteligentes y código de bytes de Ethereum. Evaluación experimental de las técnicas propuestas sobre contratos inteligentes de Ethereum.
Fecha publicación: 22 de enero de 2021
Apoyo a las tareas de investigación desarrolladas por el grupo UCM-DTRS en el ámbito del Programa FORTE-CM. Específicamente, el contratado trabajará en el uso de métodos formales en “Collective Intelligence”.
Fecha publicación: 8 de septiembre de 2020
Desarrollo e implementación de herramientas de análisis y simplificación de circuitos aritméticos para pruebas de conocimiento nulo.
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.
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.
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.
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.
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.
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.
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.
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.