Experience

IMDEA Software Institute

• Spain
• Research Services
• 1 - 100 Employee

• Investigador e ingeniero de software

  • Mar 2020 - Present

  Investigación y desarrollo con orientación industrial, aplicando Métodos Formales, Lógica e Inteligencia Artificial a sistemas reactivos industriales, generalmente, a sistemas críticos. En colaboración con la empresa Developair Technologies S.L.Formación trabajada:-Lógica e Informática Teórica: Verificación formal, Lógica avanzada (Tarski, Peano...), Lógica temporal, Juegos Infinitos, Teoría de Complejidad...-Ingeniería del Software: especificación, testing, documentación, tipos de licencias...-Herramientas utilizadas: Python, OCaml, Dafny, Solvers (Z3...)...Trabajo realizado:-Análisis de especificaciones de software y hardware: contradicciones, vacuidad...-Síntesis de sistemas reactivos: caso de uso ferroviario.-Estudiar la escalabilidad de las herramientas.-Investigación científica: estado del arte y experimentación.-Planificación y gestión de líneas de investigación.Perfil del puesto:Los candidatos deben tener una excelente maestría o licenciatura en ciencias de la computación, matemáticas o una disciplina relacionada, con interés en el área y un fuerte compromiso con la investigación. Se requieren excelentes habilidades de programación probadas, así como la capacidad para comprender y desarrollar algoritmos. También se requieren buenas habilidades de trabajo en equipo y comunicación, incluido un excelente inglés hablado y escrito.



Ikerbasque

• Spain
• Research Services
• 1 - 100 Employee

• Investigador y programador

  • Sep 2019 - Jul 2020

  Investigación e implementación de algoritmos de Deep Learning para Superresolución en Microscopía.Concretamente, se han desarrollado una serie de modelos que, dadas unas imágenes de microscopio a baja resolución, obtienen los equivalentes de esas imágenes a alta resolución, reduciendo así los costes de obtención de muestras y el ruido de estas muestras.Formación trabajada:-Visión artificial avanzada: especialidad en Superresolución e imágenes biomédicas.-Aprendizaje automático y Deep Learning: especialidad en Redes Convolucionales.-Python para IA: especialidad en librerías Keras y Tensorflow.-Python para Visión: especialidad en librerías Skimage y OpenCV.Trabajo realizado:-Estudio profundo y recopilación detallada del estado del arte.-Desarrollo de métricas adecuadas de evaluación de los modelos.-Implementación de modelos y arquitecturas en Python.-Investigación matemático-formal de los modelos y las métricas.-Diseño de experimentos para evaluar los modelos (funciones de loss, optimizadores...).-Recogida de resultados y replanificación de experimentos.



Universidad del País Vasco/Euskal Herriko Unibertsitatea

• Spain
• Higher Education
• 700 & Above Employee

• Prácticas de investigación y programación

  • Feb 2019 - Sep 2019

  Investigación de técnicas de Visión por Computador y Deep Learning y su implementación en Matlab y Python, para creación del material para la asignatura Visión por Computador del Máster Ingeniería Computacional y Sistemas Inteligentes de la UPV/EHU.Temas:• Fundamentos de Visión: procesamiento de imágenes, operaciones de histograma, filtrado, espacios de color…• Operaciones básicas: transformaciones geométricas, operaciones morfológicas…• Operaciones más avanzadas: segmentación de imágenes, extracción de características (LBP, SIFT, HOG...)...• Machine Learning para Visión: clasificación de imágenes, detección de objetos, aprendizaje automático tradicional (clustering, regresión, reducción de dimensionalidad...), fundamentos de Deep Learning...Aplicaciones:• Detección y reconocimiento de objetos.• Reconocimiento facial, estimación de la edad.• Seguimiento de video.• Análisis de imágenes biomédicas.