Select a currency

Search by currency code or name

    Complutense University of Madrid

    Master in Métodos Formales En Ingeniería Informática

    Madrid, Spain1 yearTaught in SpanishOpen to international students

    About Master in Métodos Formales En Ingeniería Informática

    Tuition costs 2,701 EUR per year.

    Formal methods in computer science use mathematical logic and specification languages to model, verify, and reason about software and hardware systems. Graduate study in this area typically covers formal specification languages, model checking, theorem proving, type theory, program verification, and the application of these techniques to safety-critical and concurrent systems. Students gain a rigorous foundation in both the theoretical underpinnings and the practical tools used to ensure software correctness. Graduates work in safety-critical software development, compilers and programming language design, verification engineering, academic research, and roles in aerospace, automotive, finance, and telecommunications sectors where correctness requirements are stringent. The master's in Métodos Formales En Ingeniería Informática is a one-year program at the Complutense University of Madrid in Madrid, Spain, with annual tuition of 2,701.20 EUR.

    About Complutense University of Madrid

    Complutense University of Madrid is one of Spain's oldest and most prestigious universities, with roots tracing back to the 13th century and a large modern community of around 72,000 students, including approximately 7,000 international learners. Located in the vibrant capital, the university offers a broad range of undergraduate, postgraduate and doctoral programs across humanities, social sciences, natural sciences and health disciplines. Its scale and history create a rich academic atmosphere that blends rigorous scholarship with cultural and intellectual life.

    Students at Complutense benefit from extensive libraries, well-equipped research centers and a diverse faculty actively involved in national and international projects. The university supports mobility and exchange, giving international students access to collaborative networks and opportunities to study alongside peers from many countries. Madrid's cultural scene, language immersion and professional networks add value to the academic experience and help students build global competencies.

    For prospective international applicants, Complutense offers both academic depth and the social resources needed to thrive in a major European capital. The university's reputation for research and teaching, together with student services and a lively campus culture, makes it an attractive destination for those seeking a comprehensive education in an energetic urban setting.

    Planning the visa? Spain student visa: cost, requirements and processing time (from $93 all-in)

    Master in Métodos Formales En Ingeniería Informática: Frequently Asked Questions

    What are the fees for Master in Métodos Formales En Ingeniería Informática?
    Tuition: EUR 2,701.2 per year.
    Is Master in Métodos Formales En Ingeniería Informática available online?
    This is an on-campus program at Complutense University of Madrid in Madrid.

    Related Programs You Can Apply To

    Direct application via Global Admissions is not available for this program. Browse similar partner programs below or visit the university's site to apply directly.

    Edit Program

    Related Blog Posts

    Show More Blog Posts →

    Takes about 15 minutes

    Complete your profile to unlock

    Direct application links unlock once your profile is at least 80% complete. You're currently at 0%. It only takes a minute.