ComMaster's Degree in Formal Methods in Computer ScienceComplutense University of Madrid · Madrid, Spain

Program Overview

Degree: Master's
Duration: 12 months
Tuition (2026/27 rates): €5,044
Fields: Computer Science, Mathematics

Application Cycle

2027/28 dates and tuition are not yet published. Showing 2026/27 cycle data as an estimate.

Application opens (2026/27 dates): Jan 28, 2026
Application deadline (2026/27 dates): Feb 20, 2026

Multiple application rounds (other deadlines: May 22, 2026 | Sep 4, 2026).

Documents Required

Please check the official program website (link below) for specific writing guidelines

CV or resume

Detail academic and professional background; claimed merits (languages, courses, experience) must be documented to be scored.

Degree certificate and transcript(s)

Official degree and grade certificate (subjects, credits, grades, mean, pass/max scale). Sworn Spanish translation if not in Spanish. Non-EHEA applicants also need postgraduate-access certificate and Ministry grade-equivalence document.

Published Score Requirements

Academic: Bachelor's degree; Official Spanish university degree, EHEA degree granting master's access, or non-EHEA equivalent subject to UCM level-of-education check.
Prerequisites: English language proficiency; Programme taught in English; applicants must work confidently in English. No published IELTS/TOEFL numeric minimum found on official pages reviewed.
Prerequisites: Relevant academic background; Mainly graduates in Computer Engineering, Software Engineering, Computer Engineering (Computadores), or double degrees with Mathematics; strong interest in logic and algebra. Joint UCM–UPM programme.

Historical admission data is not published.

Source

Visit the official program source