Formal Methods in Computer Engineering 12 months Postgraduate Programme By Complutense University of Madrid |TopUniversities

Formal Methods in Computer Engineering

Subject Ranking

# =188QS Subject Rankings

Programme Duration

12 monthsProgramme duration

Tuitionfee

2,735 EURTuition Fee/year

Main Subject Area

Computer Science and Information SystemsMain Subject Area

Programme 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.

Programme 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

If you come from an EU country you must have a bachelor's degree from a Spanish university, or from a university in the European Higher Education Area (EHEA). 

If you are a graduate from outside the European Higher Education Area (EHEA) you can access the university without the need to officially certify your degree, once the UCM has verified that your level of studies is equivalent to a bachelor's degree at a university in Spain. Access via this route does not in any case imply the official certification of your degree prior to starting your Masters course.

1 Year
Sep

Domestic
2,735 EUR
International
2,735 EUR

Scholarships

Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.

To help students navigate this challenging process, we recommend the following articles:

More programmes from the university

Energy arrows

Energy PG programme

Go to Programme ::type_cta_button::

Postgrad Programmes 380