Máster Universitario en Métodos Formales en Ingeniería Informática
Universidad Autónoma de Madrid - UAM-
Imparte:
-
Modalidad:Presencial en Madrid
-
Precio:Consultar rellenando el formulario
-
Comienzo:Consultar rellenando el formulario
-
Lugar:Carretera de Colmenar, km.15
Madrid 28049
España -
Duración:60 ECTS
-
Idioma:El Master se imparte en Inglés
-
Titulación:Título Oficial de Máster Universitario en Métodos Formales en Ingeniería Informática Título conjunto: Universidad Autónoma de Madrid, Universidad Complutense de Madrid y Universidad Politécnica de Madrid
Presentación
El desarrollo de software se enfrenta actualmente a grandes desafíos derivados de su omnipresencia en la sociedad. Dependemos de programas que controlan dispositivos, vehículos, transacciones bancarias, aparatos médicos, y muchas de nuestras actividades cotidianas.
Los métodos tradicionales de desarrollo no pueden asegurar la corrección del software, lo que es de vital importancia si éste es crítico (su fallo implica pérdidas de vidas humanas) o de amplio uso. De esta manera los métodos formales se caracterizan por el uso de técnicas matemáticas que garantizan que el software cumple unos requisitos dados. Grandes empresas, como Facebook, Amazon, Microsoft o Google apuestan por los métodos formales para mejorar la fiabilidad de sus productos.
Este Máster proporciona una formación integral en distintos tipos de métodos formales, lo que confiere la capacidad de aplicar métodos matemáticos a la resolución rigurosa de problemas informáticos.
Requisitos
Acceso a las enseñanzas oficiales de Máster
1. Para acceder a las enseñanzas oficiales de Máster será necesario estar en posesión de un título universitario oficial español u otro expedido por una institución de educación superior del Espacio Europeo de Educación Superior que facultan en el país expedidor del título para el acceso a enseñanzas de máster.
2. Así mismo, podrán acceder los titulados conforme a sistemas educativos ajenos al Espacio Europeo de Educación Superior sin necesidad de la homologación de sus títulos, previa comprobación por la Universidad de que aquellos acreditan un nivel de formación equivalente a los correspondientes títulos universitarios oficiales españoles y que facultan en el país expedidor del título para el acceso a enseñanzas de postgrado. El acceso por esta vía no implicará, en ningún caso, la homologación del título previo de que esté en posesión el interesado, ni su reconocimiento a otros efectos que el de cursar las enseñanzas de Máster.
Consulta los requisitos específicos de acceso rellenando el formulario
Dirigido
Podrán acceder los graduados en Ingeniería Informática, en Ingeniería del Software, en Ingeniería de Computadores, en Tecnologías de la Información y en Sistemas de Información, junto a los ingenieros en informática de planes de estudio anteriores, o titulaciones equivalentes, y las dobles titulaciones de estos grados con el Grado de Matemáticas.
Programa
Teoría de lenguajes de programación
Análisis estático de programas y resolución de restricciones
Modelos de la concurrencia
Métodos formales de testing
Desarrollo formal de software dirigido por modelos
Diseño de algoritmos bioinspirados
Aprendizaje automático
Verificación asistida de programas
Análisis de sistemas concurrentes y distribuidos
Diseño de sistemas correctos por construcción
Computación cuántica
Prácticas en empresas o grupos de investigación
Trabajo fin de Máster
Salidas profesionales
La informatización de la mayoría de las industrias y la necesidad de que el software que usan sea fiable y resistente a ataques externos, incrementa de forma sustancial las vías de inserción laboral. Es de destacar la relevancia de las pruebas rigurosas en software crítico y sistemas (p.ej., vehículos) autónomos. Cada vez serán más necesarios profesionales que conozcan métodos formales y sepan aplicarlos a la resolución de problemas complejos que requieran garantías absolutas de corrección.
Otra vía de inserción es una carrera investigadora en departamentos universitarios y centros de investigación, como el Instituto IMDEA Software, o institutos del CSIC.
¡Infórmate ahora sin compromiso!
