En 30 segundos
5
salidas profesionales
de investigador académico a profesor universitario
Sobre el programa
Qué aprenderás
Dominarás los fundamentos de la lógica matemática, la computabilidad y la teoría de modelos, aplicándolos a la resolución de problemas complejos en filosofía, matemáticas e inteligencia artificial.
Cómo se estudia
- Módulo ObligatorioFundamentos de lógica, computabilidad y teoría de modelos.
- Módulo OptativoEspecialización a elegir entre Lógica Matemática, Computación o Filosofía.
- Trabajo de Fin de MásterInvestigación original tutorizada y defensa pública.
Se estudia de forma presencial en Barcelona, con una carga de 60 ECTS completables en un año. El idioma principal de instrucción es el inglés, facilitando un entorno de investigación internacional.
¿Es para ti?
Perfil recomendado
- Filosofía
- Matemáticas
- Informática
- Física
- Lingüística
Es para ti si tienes un grado en Filosofía, Matemáticas o Informática y quieres especializarte en razonamiento formal. Es un máster oficial que habilita para el acceso a doctorado.
Requisitos de acceso
- Titulación universitaria oficial (Grado, Licenciatura o equivalente)
- Nivel B2 de inglés (recomendado, ya que es el idioma de instrucción)
- Expediente académico
- Currículum vitae
- Carta de motivación
Salidas profesionales
- Investigador académico
- Consultor en Inteligencia Artificial
- Desarrollador de software formal
- Analista de datos
- Profesor universitario
Preguntas frecuentes
¿Cuánto cuesta este máster?
El precio estimado es de 1.107 €.
¿Hasta cuándo puedo matricularme?
Hasta el 15 sept 2027.
¿Cuánto dura?
1 año (60 ECTS) (60 ECTS).
¿En qué idioma se imparte?
En inglés.
¿Es presencial u online?
Es presencial, tardes.
¿Qué necesito para acceder?
Titulación universitaria oficial (Grado, Licenciatura o equivalente); Nivel B2 de inglés (recomendado, ya que es el idioma de instrucción); Expediente académico; Currículum vitae; Carta de motivación.
¿Dudas con este máster?
Álex conoce este programa y el resto de la oferta de UB. Pregúntale lo que quieras.
Preguntar a ÁlexMás másters de UB
Parecidos en otros centros
- máster · Universitat Politècnica de ValènciaIngeniería de TelecomunicaciónValencia
- máster · Universidad Carlos III de MadridIngeniería de Sistemas InteligentesLeganés
- máster · Universitat Autònoma de BarcelonaIngeniería de Telecomunicación / Telecommunication EngineeringCerdanyola del Vallès
- máster · Nuclio Digital SchoolDual Master Data & AI
Datos del curso 2026-2027, según la información pública de UB. Avisar de un error
Actualizado el 31 de octubre de 2026
