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.
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
About this institute
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...
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!
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.
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.