Master of Formal Methods in Computer Science at Autonomous University of Madrid

Autonomous University of Madrid

Spain, Alcobendas

University Rank:#206

The Formal Methods in Computer Science at Autonomous University of Madrid is a Full Time Master program offered at the university's main campus in Alcobendas, Spain. The program is delivered on campus in English and can be completed in 1 year. Students develop academic knowledge and practical skills that prepare them for future careers in this field. The next available intake starts on October 1, 2026.

About Master of Formal Methods in Computer Science

Overview Key facts:In the first place, all those graduates who have previously acquired the competences listed in section 3 of Annex II of the Resolution of June 8, 2009, of the General Secretariat of Universities (BOE, August 4 2009) by which the recommendations for the verification of the official University degrees linked to the exercise of the profession of Technical Engineer in Computer Science are established, can directly access the Master. In particular, these competences are acquired when obtaining the degree in Computer Science, the degree in Software Engineering and the degree in Computer Engineering that are currently taught in the respective Master's centers, as well as any other official degree linked to the exercise of the profession of Technical Engineer in Computer Science.The Formal Methods in Computer Science programme is offered at the Autonomous University of Madrid.For this same reason, holders of degrees equivalent to any of the above may also be admitted directly, when these degrees are issued by a higher education institution belonging to another member state of the European Higher Education Area, as well as engineers and graduates in Computer Science, in accordance with the arrangements for previous university studies in Spain.Applicants with degrees obtained in educational systems outside the European Higher Education Area may be admitted directly to the Master, upon verification by the Academic Committee that they accredit a level of training in Computer Science equivalent to official university degrees in Spain mentioned above. I want to find another Master Course

Knowledge of English at the level of a B2 certificate is required to take the master's degree. Knowledge of Spanish is not essential, although it is advisable, because occasionally some optional subjects can be offered only in this language. The Formal Methods in Computer Science programme is offered at the Autonomous University of Madrid.

Disciplines

Computer SciencesSoftware Engineering

Requirements and Admission Criteria for Master of Formal Methods in Computer Science at Autonomous University of Madrid

Other Requirements

1Certificate of academic transcript for previous graduate studies (translated and legalized, if required).Average Grade Declaration: Consult the side menu, "Average Grade Declaration".Curriculum vitae (in the Specific Requirements section for certain Master’s Degree Programmes, this must be submitted in a standardized format. Please consult the Master’s Degree website for such specific requirements).Identity Document / Passport.

Tuition and Fee Information for Master of Formal Methods in Computer Science at Autonomous University of Madrid

Master of Formal Methods in Computer Science at Autonomous University of Madrid

Autonomous University of Madrid

Spain, Alcobendas