Master in Pure And Applied Logic

The University of Barcelona (UB) is a historic public research university founded in 1450, located in the vibrant city of Barcelona. With some 63,000 students and a significant international population, UB offers a wide range of undergraduate and graduate programs across arts and humanities, law, health sciences, social sciences and STEM fields. Its city-centered campuses combine historic buildings and modern facilities, giving students access to libraries, labs, research centers and cultural life in one of Europe’s most dynamic cities.

UB is known for research excellence and international collaboration, with notable strengths in law, medicine, economics and business. Students benefit from comprehensive academic support, structured degree programs, and opportunities for internships with local and international employers. Multilingual instruction and language support help international students integrate, while study abroad exchanges and research partnerships create pathways for global mobility and collaborative projects.

Student life at UB blends academic rigor with Barcelona’s cultural richness: museums, industry hubs, startups and a large creative sector provide internship and networking possibilities. Career services, student organizations and campus resources assist with practical matters like housing and legal documentation. For international applicants seeking a large, research-led European university with strong professional links, UB combines historic prestige, modern facilities and an engaging urban experience.

The Master in Pure and Applied Logic at the University of Barcelona is a one-year master's degree for students with a bachelor's degree in a related field. It is taught in English and takes place on campus. This program is a collaboration between the University of Barcelona and other institutions to create a large cluster of logic experts.

The curriculum includes core courses in logic, as well as advanced subjects like algebraic logic, computability theory, and model theory. Students can choose their own path through the curriculum and work on individual projects. They develop skills in areas like proof theory, non-classical logic, and set theory.

Graduates can work as Data Analysts, Computational Complexity Specialists, or Artificial Intelligence Researchers. They can also find jobs as Logic Teachers or Computer Scientists. These careers are available in academia, research institutions, or tech companies that work with logic and artificial intelligence.