Studyportals
Master On Campus Blended

Formal Methods in Computer Science

12 months
Duration
84 EUR/credit 5040 EUR/year
45 EUR/credit 2700 EUR/year
Unknown
Tuition fee
Unknown
Apply date
Unknown
Start date

About

After Formal Methods in Computer Science from Universidad Politécnica de Madrid students will enhance their capacity to avoid errors caused by inadequate requirement formalization or lack of implementation verification, and will be introduced to the design of systems and programs which are error-free, more robust, and easier to understand and verify. 

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

Credits

60 ECTS

Delivered

On Campus, Blended

Academic requirements

We are not aware of any academic requirements for this programme.

Student insurance

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:

  • Additional medical costs (i.e. dental)
  • Repatriation, if something happens to you or your family
  • Liability
  • Home contents and baggage
  • Accidents
  • Legal aid

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

Get your student insurance now

Start 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 and/or in Spain, please visit Student Insurance Portal.

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

Tuition Fee

To alway see correct tuition fees
  • International

    5040 EUR/year
    Tuition Fee
    Based on the tuition of 84 EUR per credit during 12 months.
  • EU/EEA

    2700 EUR/year
    Tuition Fee
    Based on the tuition of 45 EUR per credit during 12 months.

Living costs for Madrid

745 - 1260 EUR /month
Living costs

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

Funding

Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

Our partners

Formal Methods in Computer Science
-
Universidad Politécnica de Madrid

Wishlist

Go to your profile page to get personalised recommendations!