Overview

With Formal Methods in Computer Science from Universidad Politécnica de Madrid students will become highly qualified professionals who can tackle very complex computing problems devising highly dependable solutions.

Students at Formal Methods in Computer Science from Universidad Politécnica de Madrid will:
apply mathematical methods to the rigorous solution of computing problems.
successfully manage the reliable design and deployment of zero-fault systems, their correct implementation, and system assessments or audits to software systems developed by third-parties.
get basic training for future researchers in formal methods.

apply mathematical methods to the rigorous solution of computing problems.

successfully manage the reliable design and deployment of zero-fault systems, their correct implementation, and system assessments or audits to software systems developed by third-parties.

get basic training for future researchers in formal methods.

Programme Structure

Courses include:

Telecommunications,

Air transportation,

Underground networks,

High-speed rail transport,

Aerospace and automobile industry,

Hospital management (including supplies and medical records),
Energy supply networks

Key information

Duration

Full-time
- 12 months

Start dates & application deadlines

Starting 2026-09-03 00:00:00
- Apply before 2026-07-09 00:00:00

Language

English

TOEFL^® IBT

72

Schedule TOEFL®

IELTS

5.5

Prepare for Your English Test

Cathoven AI IELTS Preparation

Learn your IELTS Score

AI-powered IELTS feedback. Clear, actionable, and tailored to boost your writing & speaking score. No credit card or upfront payment required.

Trusted by 300k learners
98 accuracy using real exam data
4.9/5 student rating

Credits

60 ECTS

Delivered

On Campus

Campus Location

Madrid, Spain

Disciplines

Computer Sciences Web Technologies & Cloud Computing Software Engineering View 5 other Masters in Web Technologies & Cloud Computing in Spain

Join for free or log in to access our complete career info list.

Academic requirements

We are not aware of any specific GRE, GMAT or GPA grading score requirements for this programme.

English requirements

TOEFL^® IBT

72

Schedule TOEFL®

IELTS

5.5

Prepare for Your English Test

Cathoven AI IELTS Preparation

Learn your IELTS Score

AI-powered IELTS feedback. Clear, actionable, and tailored to boost your writing & speaking score. No credit card or upfront payment required.

Trusted by 300k learners
98 accuracy using real exam data
4.9/5 student rating

Other requirements

General requirements

ID/Passport.

Curriculum Vitae (CV).

English and Spanish B2 certificate.

Spanish national ID card, foreigner ID number, passport o Identify card.

Accredited degree certificate

Transcript of records of your first degree

Students applying for an accredited master's degree are obliged to submit a Level B2

English language proficiency certificate

Student Insurance via Studyportals Partner

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items like Additional medical costs, Repatriation, Liability etc. Make sure your student insurance covers your needs.

Studyportals partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.

Get your student insurance now

Starting from €0.53/day, free cancellation any time.

Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at Universidad Politécnica de Madrid (UPM) and/or in Spain, please visit Student Insurance Portal.

Tuition Fees

Tuition fees are shown in and the most likely applicable fee is shown based on your nationality.

International Applies to you

Applies to you

Non-residents

5040 EUR / year

≈ 5040 EUR / year
EU/EEA Applies to you

Applies to you

EU/EEA Nationals

2700 EUR / year

≈ 2700 EUR / year

Living costs

Madrid

Spain

745 - 1260 EUR / month

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.

Funding

Win a €10000 Scholarship! Deadline: 30 June 2020

Embark on your journey with the Studyportals Scholarship! We're giving away a total of 20,000 euros to help you achieve your dream of studying abroad.

Win a €10000 Scholarship! Deadline: 30 June 2020

Embark on your journey with the Studyportals Scholarship! We're giving away a total of 20,000 euros to help you achieve your dream of studying abroad.

In order for us to give you accurate scholarship information, we ask that you please confirm a few details and create an account with us.

Loading

Scholarships Information

Below you will find Master's scholarship opportunities for Formal Methods in Computer Science.

Available Scholarships

You are eligible to apply for these scholarships but a selection process will still be applied by the provider.

On this page

About

Overview

Programme Structure

Key information

Duration

Start dates & application deadlines

Language

Prepare for Your English Test

Credits

Delivered

Campus Location

Disciplines

What students do after studying

Academic requirements

English requirements

Prepare for Your English Test

Other requirements

General requirements

Student Insurance via Studyportals Partner

Tuition Fees

International Applies to you

EU/EEA Applies to you

Living costs

Madrid

Funding

Scholarships Information

Available Scholarships

Our partners