Formal Methods in Computer Engineering Program By Complutense University of Madrid |Top Universities

Program overview

Main Subject

Computer Science and Information Systems

Degree

Other

Study Level

Masters

Study Mode

On Campus

The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since 2004, and the Excellence Mention since 2011. These quality mentions constitute the highest recognition in Spain of the scientific-technical and educational solvency of the program doctorate as a whole. The training acquired in this master's degree will confer a special ability to apply mathematical methods to the rigorous resolution of computer problems. It consists of 60 credits and offers the student a wide choice, since they have to choose 30 credits from an offer of 60. The master's degree will preferably be taught in English. When Spanish is used, it will always be in optional subjects. Therefore, the master's degree is also offered to foreign students who are proficient in English.

Program overview

Main Subject

Computer Science and Information Systems

Degree

Other

Study Level

Masters

Study Mode

On Campus

The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since 2004, and the Excellence Mention since 2011. These quality mentions constitute the highest recognition in Spain of the scientific-technical and educational solvency of the program doctorate as a whole. The training acquired in this master's degree will confer a special ability to apply mathematical methods to the rigorous resolution of computer problems. It consists of 60 credits and offers the student a wide choice, since they have to choose 30 credits from an offer of 60. The master's degree will preferably be taught in English. When Spanish is used, it will always be in optional subjects. Therefore, the master's degree is also offered to foreign students who are proficient in English.

Admission requirements

Important Dates

Program Duration

1 Year

Starting Month(s)

Sep

Domestic Students

Tuition Fee/year

2,735 EUR

Tuition Fee (Out of State)

-

International Students

Tuition Fee/year

2,735 EUR

Other Expenses

-

One of the important factors when considering a master's degree is the cost of study. Luckily, there are many options available to help students fund their master's programme. Download your copy of the Scholarship Guide to find out which scholarships from around the world could be available to you, and how to apply for them.

In this guide you will find:

Where to look for scholarship opportunities

How to apply to scholarships relevant to you

A list of available scholarships around the world

A scholarship application checklist

Download Scholarship Guide

More programs from the university

The UCM offers a wide range of courses, with 81 undergraduate programs in almost all areas of knowledge: Sciences, Arts and Humanities, Health Sciences, Engineering and Social and Legal Sciences.

The UCM holds a leading position in the most prestigious international university rankings. According to QS Rankings, in some subjects the UCM is among the world’s top 50 universities, this is the case of Odontology and Veterinary studies. It is also remarkable that Archaeology, History, Modern Languages, Philosophy, Anthropology, Communication and Legal Studies at UCM are among the top 100 universities in the world.

The UCM holds the first position for Spanish universities at English Language and Literature, History, Modern Language, Odontology, Legal Studies and International Policy studies.

We are committed to ensuring excellence based on linking research and teaching, in order to provide students with an in-depth understanding of the chosen discipline.

Arts and Humanities (6)

Archeology

Art History

Classical Philology

Conservation and Restoration of Cultural Heritage

Design

English Studies

View All

Business and Management (6)

Business Administration and Management

Business Administration and Management (English)

Business Administration and Management - Computer Engineering

Finance, Banking and Insurance

Engineering and Technology (6)

Chemical Engineering

Computer Engineering

Computer Engineering (English)

Computer Engineering - Mathematics

Electronic Communications Engineering

Geological Engineering

View All

Life Sciences and Medicine (6)

Biochemistry

Biology

Dentistry

Human Nutrition and Dietetics

Medicine

Nursing

View All

Natural Sciences (6)

Chemistry

Chemistry - Biochemistry

Food Science and Technology

Geology

Mathematics

Mathematics - Physics (English)

View All

Social Sciences and Management (6)

Advertising and Public Relations

Applied Statistics

Audiovisual Communication

Commerce

Criminology

Economics

View All

The UCM offers a wide range of courses, with 152 MA titles, 58 Doctoral programs and nearly 200 Expert and Specialist titles, in almost all areas of knowledge: Sciences, Arts and Humanities, Health Sciences, Engineering and Social and Legal Sciences.

According to QS Rankings, in some subjects the UCM is among the world’s top 50 universities, this is the case of Odontology and Veterinary studies. It is also remarkable that Archaeology, History, Modern Languages, Philosophy, Anthropology, Communication and Legal Studies at UCM are among the top 100 universities in the world.

The UCM holds the first position for Spanish universities at English Language and Literature, History, Modern Language, Odontology, Legal Studies and International Policy studies.

Many UCM research groups occupy positions in the highest ranks of international leadership, and we are committed to ensuring excellence based on large networks of quality research groups, and on the successful engagement of our graduate students in research.