1. Complutense University of Madrid UCM
  2. Program
  3. Masters
  4. Masters in Formal Methods in Computer Engineering (With UAM and UPM)

Masters in Formal Methods in Computer Engineering (With UAM and UPM)

1 Years On Campus Masters Program

Complutense University of Madrid UCM

Program Overview

The creation of software currently faces great challenges derived from its omnipresent role in today's society: we depend on programs that control devices, vehicles, banking transactions, the stock market, medical devices, etc. Apart from the loss of human life due to software failures, these often cause enormous disruption to the lives of millions of people. Today, the only known method to ensure the correctness of the software is to use the so-called formal methods , which are broadly characterized by the mathematical modeling of the software, and the processes that it carries out, in order to demonstrate that the requirements are met.desired requirements.

Program Key Stats

€84.07 (Per Credit)



76 %

Eligibility Criteria


6

Additional Information & Requirements

Transcripts from the previously attended schools, Official Spanish University Degree or equivalent to the qualification, Spanish Language profeciency test (level B2 of the Spanish language ), Equivalence of Average Grade of university academic records of studies carried out in foreign centers of the Ministry of Education and Professional Training (MEFP), CV, Academic References

Career Options

  • Computer Hardware Engineer
  • Computer Systems Analyst
  • Computer Network Architect
  • Web Developer

Book Free Session with Our Admission Experts

Admission Experts

Embark on your educational journey with confidence! Our team of admission experts is here to guide you through the process. Book a free session now to receive personalized advice, assistance with applications, and insights into your dream school. Whether you're applying to college, graduate school, or specialized programs, we're here to help you succeed.