El Doctorado en Software y Sistemas (DSS) abarca una panorámica de los diferentes paradigmas existentes en la actualidad, que dan fundamento y estructuran el producto software y su proceso de desarrollo. También cubre aspectos clave en la ingeniería del software para los cuales la investigación actual sigue buscando soluciones satisfactorias como son, por ejemplo, las técnicas de verificación y validación de software o las nuevas metodologías de desarrollo. Esta titulación está orientada hacia las diferentes tecnologías involucradas en el desarrollo de software y de sistemas informáticos, ofreciéndose una profundización y particularización en diversos aspectos relacionados con la investigación actual en software y sistemas.
Con carácter general, para el acceso a un programa oficial de doctorado será necesario estar en posesión de los títulos oficiales españoles de Grado, o equivalente, y de Máster Universitario.
Asimismo podrán acceder quienes se encuentren en alguno de los siguientes supuestos:
Estar en posesión de un título universitario oficial español, o de otro país integrante del Espacio Europeo de Educación Superior, que habilite para el acceso a Máster de acuerdo con lo establecido en el artículo 16 del Real Decreto 1393/2007, de 29 de octubre y haber superado un mínimo de 300 créditos ECTS en el conjunto de estudios universitarios oficiales, de los que, al menos 60, habrán de ser de nivel de Máster.
Estar en posesión de un título oficial español de Graduado o Graduada, cuya duración, conforme a normas de derecho comunitario, sea de al menos 300 créditos ECTS. Dichos titulados deberán cursar con carácter obligatorio complementos de formación, salvo que el plan de estudios del correspondiente título de grado incluya créditos de formación en investigación, equivalentes en valor formativo a los créditos en investigación procedentes de estudios de Máster.
Los titulados universitarios que, previa obtención de plaza en formación en la correspondiente prueba de acceso a plazas de formación sanitaria especializada, hayan superado con evaluación positiva al menos dos años de formación de un programa para la obtención del título oficial de alguna de las especialidades en Ciencias de la Salud.
Estar en posesión de un título obtenido conforme a sistemas educativos extranjeros, sin necesidad de su homologación, previa comprobación por la universidad de que éste acredita un nivel de formación equivalente a la del título oficial español de Máster Universitario y que faculta en el país expedidor del título para el acceso a estudios de doctorado. Esta admisión no implicará, en ningún caso, la homologación del título previo del que esté en posesión el interesado ni su reconocimiento a otros efectos que el del acceso a enseñanzas de Doctorado.
Estar en posesión de otro título español de Doctor obtenido conforme a anteriores ordenaciones universitarias.
Criterios de admisión.
Las Universidades, a través de las Comisiones Académicas, podrán establecer requisitos y criterios adicionales para la selección y admisión de los estudiantes a un concreto programa de doctorado.
La admisión a los Programas de Doctorado, podrá incluir la exigencia de complementos de formación específicos
Formar a un núcleo de personas que sepan abordar y solucionar problemas de carácter científico y tecnológico en el área de Software y Sistemas mediante un trabajo de investigación independiente y original que amplíe las fronteras del conocimiento.
Diseminar los resultados de la investigación a través de publicaciones científicas del área con proceso de revisión y con índice de impacto reconocido.
Ofrecer a la sociedad una serie de personas capaces de elaborar, evaluar y/o criticar nuevas propuestas de investigación científica y/o desarrollo tecnológico en el área de Software y Sistemas.
Formar profesionales que puedan optar a un trabajo que requiera el título de Doctor, como investigador postdoctoral, profesor universitario, investigador en institutos o empresas, y otros empleos que requieran creatividad, liderazgo y gestión en el ámbito tecnológico.
Tomar conciencia de la actividad científica como profesión y de sus implicaciones éticas en la sociedad.
Líneas de Investigación:
Big Data Analytics y optimización:
Data mining
Informática biomédica y Bio-mining
Optimización heurística
Soft computing
Visualización interactiva y multiescala
Computación de altas prestaciones
Modelización y simulación
Ingeniería del Software:
Medición y modelos de calidad software
Herramientas y entornos de desarrollo, monitorización y operación
Ingeniería del software empírica
Modelado y especificaciones de sistemas complejos
Evaluación y mejora del proceso software
Evaluación y pruebas del producto software
Modelos innovadores de desarrollo de software
Requisitos software
Algorítmica y modelos de comutación avanzada
Computación de altas prestaciones
Información y computación cuántica
Optimización heurística
Modelos para Cloud Computing
Métodos formales para el desarrollo y verificación del software:
Análisis de programas
Verificación de aplicaciones secuenciales y concurrentes
Lenguajes declarativos
Lenguajes de especificación y desarrollo riguroso de programas
Seguridad de código y criptografía
Transformación y optimización de código
Paralelización automática
Modelos formales y semántica
Procesado y análisis de imagen y señal:
Transformadas de imágenes
Clasificación e interpretación automática de imágenes
Fusión de imágenes
Procesado de imágenes basado en objetos
Procesamiento y análisis morfológico
Aplicaciones del procesado y análisis de imagen
Aproximación y optimización de funciones
Sistemas y servicios distribuidos y computación cloud:
Sistemas autonómicos y adaptables
Computación orientada a servicios
Seguridad en Internet
Sistemas de información distribuidos
Sistemas middleware y plataformas como servicio
Tecnologías web y de agentes
Sistemas distribuidos tolerantes a fallos
Sistemas distribuidos escalables
Tecnologías para cloud computing
Interacción Persona-Ordenador:
Usabilidad de software y experiencia de usuario
Interacción ubicua e inteligencia ambiental
Accesibilidad y diseño para todos
Realidad virtual y realidad aumentada
Agentes virtuales inteligentes
Informática educativa: e-learning y sistemas inteligentes de tutoría
Sistemas multimedia
Visualización avanzada
Matemática computacional:
Sistemas dinámicos
Polinomios ortogonales
Teoría de aproximación
Geometría fractal
Sistemas singulares e inversas generalizadas
Soft computing
Modelos y simulación
Geometría computacional
Neuroinformática:
Modelado neuromorfológico
Visualización avanzada
Aplicaciones del procesado y análisis de imagen
Análisis de datos y categorización
Optimización heurística
Computación de altas prestaciones
Modelización y simulación
Que los estudiantes hayan demostrado una comprensión sistemática de un campo de estudio y el dominio de las habilidades y métodos de investigación relacionados con dicho campo.
Que los estudiantes hayan demostrado la capacidad de concebir, diseñar, poner en práctica y adoptar un proceso sustancial de investigación con seriedad académica.
Que los estudiantes hayan realizado una contribución a través de una investigación original que amplíe las fronteras del conocimiento desarrollando un corpus sustancial, del que parte merezca la publicación referenciada a nivel nacional o internacional.
Que los estudiantes sean capaces de realizar un análisis crítico, evaluación y síntesis de ideas nuevas y complejas.
Que los estudiantes sepan comunicarse con sus colegas, con la comunidad académica en su conjunto y con la sociedad en general acerca de sus áreas de conocimiento.
Que se les suponga capaces de fomentar, en contextos académicos y profesionales, el avance tecnológico, social o cultural dentro de una sociedad basada en el conocimiento.
