Show as: Mobile

Master’s Degree in Formal Methods in Computer Science

Universidad Autonoma de Madrid
1 year
Full time/part time
Master's degree
September to July
UAM Campus

Program description

Master’s Degree in Formal Methods in Computer Science

The increasing reliance on software systems of most industry sectors makes it necessary to ensure that software is both absolutely reliable and resistant to external attacks. In this Master's degree, students will learn methods to guarantee the correctness of the developed software, by relying on suitable formal and mathematical techniques: the so-called formal methods.

This master's degree is a joint effort among the main experts in the Madrid region in those topics, including researchers from the Autónoma, Complutense and Politécnica Universities. The degree covers topics on formal methods -- like theory of programming languages, static analysis, concurrency models, formal testing, model-driven engineering, assisted verification, analysis of concurrent and distributed programs, correct-by-construction design -- and on mathematical techniques for specific application types, like machine learning, bio-inspired algorithms and quantum computing. In addition, the master makes possible to perform stays in research groups or companies.

Admission requirements

This master degree will accept graduates in Computer Science Engineering, Software Engineering, Computer Engineering, Information Technology, and Information Systems with a strong interest in the mathematical rigour, reliability, and formalization of computer science problems, as well as graduates from equivalent degrees and from joint degrees with Informatics and Mathematics. Applications are also welcome from graduates in Technical Engineering for Computer Management, Computer Systems or other science or technology graduates, with appropriate supplementary training. A BSc degree in computer science or related disciplines, as described above. B2 English certificate.

Does this course require proof of English proficiency?

The TOEFL® test is accepted by 10,000+ universities and higher education institutes in over 150 countries. Book your test today!

Learn more Advertisement

Request info

Want to know more about this program, Master’s Degree in Formal Methods in Computer Science? Fill out the following form and include any questions you have. This information will be sent directly to the school, and a representative will respond to your enquiry.

About this institute

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

The Autonomous University of Madrid (UAM) was founded in 1968 and has two campuses, Cantoblanco and the Medical School, in northern Madrid. The Autonomous University of Madrid is organized into seven schools, which include: Arts and Philosophy, Teacher Training and...

Read more about this school

Contact info

Universidad Autonoma de Madrid

Ciudad Universitaria de Cantoblanco
28049 Madrid

 Show phone number

Request information

Want to know more about Master’s Degree in Formal Methods in Computer Science? Fill out the following form and we'll pass your details on to a representative from the school, who will respond to your enquiry.


Be the first to write a review!

A hand uses an iPad that sits on a map of America

Win an iPad!

Take our survey and be in to win a brand new iPad for your studies! Your response will help future students find their perfect study abroad opportunity.

I want an iPad 

Career test - find your perfect career

Take our free career test that will match you with programs and careers based on your interests and personality.

Take the test