Help us to know you better
Thanks for visiting TopUniversities.com today! So that we can show you the most relevant information, please select the option that most closely relates to you.
Thanks for sending your response.
Your input will help us improve your experience.
Thanks for sending your response.
Your input will help us improve your experience.You can close this popup to continue using the website or choose an option below to register in or login.
Already have an account? Sign in
We use Necessary cookies to make our website work. We’d also like to set optional Functional cookies to gather anonymous site visitation data and Advertising cookies to help us understand which content our visitors value the most. By enabling these cookies, you can help us provide a better website for you. These will be set only if you accept.More information about the cookies we use can be found here Cookies Policy
These cookies are necessary for the website to function and cannot be switched off in our systems. They are usually only set in response to actions made by you which amount to a request for services, such as setting your privacy preferences, logging in, or filling in forms.
We may use a set of cookies to collect information, report site usage statistics and understand how visitors engage with the website. In addition to reporting site usage statistics, data collected may also be used to personalize your experience and remember your chat history. We may also use these data, together with some of the advertising cookies described, to help show more relevant ads across the web and to measure interactions with the ads we show.
We use cookies to make our ads more engaging and valuable to site visitors. Some common applications of cookies are to select advertising based on what’s relevant to a user; to improve reporting on ad campaign performance; and to avoid showing ads the user has already seen.
Formal Methods in Computer Engineering
Campus Moncloa, Madrid, Spain
# =188QS Subject Rankings
12 monthsProgram duration
2,735 EURTuition Fee/year
YesScholarships
Program overview
Main Subject
Computer Science and Information Systems
Degree
Other
Study Level
Masters
Study Mode
On Campus
The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since...
Read more
The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since 2004, and the Excellence Mention since 2011. These quality mentions constitute the highest recognition in Spain of the scientific-technical and educational solvency of the program doctorate as a whole. The training acquired in this master's degree will confer a special ability to apply mathematical methods to the rigorous resolution of computer problems. It consists of 60 credits and offers the student a wide choice, since they have to choose 30 credits from an offer of 60. The master's degree will preferably be taught in English. When Spanish is used, it will always be in optional subjects. Therefore, the master's degree is also offered to foreign students who are proficient in English.
Read lessProgram overview
Main Subject
Computer Science and Information Systems
Degree
Other
Study Level
Masters
Study Mode
On Campus
The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since...
Read more
The Master's Degree in Formal Methods in Computer Engineering is framed in the postgraduate program of the Faculty of Computer Science, whose doctorate has been awarded the Quality Mention by the National Agency for Quality Assessment and Accreditation since 2004, and the Excellence Mention since 2011. These quality mentions constitute the highest recognition in Spain of the scientific-technical and educational solvency of the program doctorate as a whole. The training acquired in this master's degree will confer a special ability to apply mathematical methods to the rigorous resolution of computer problems. It consists of 60 credits and offers the student a wide choice, since they have to choose 30 credits from an offer of 60. The master's degree will preferably be taught in English. When Spanish is used, it will always be in optional subjects. Therefore, the master's degree is also offered to foreign students who are proficient in English.
Read lessAdmission Requirements
Tuition Fee
Domestic Students
International Students
Scholarships
One of the important factors when considering a master's degree is the cost of study. Luckily, there are many options available to help students fund their master's programme. Download your copy of the Scholarship Guide to find out which scholarships from around the world could be available to you, and how to apply for them.
In this guide you will find:
Where to look for scholarship opportunities
How to apply to scholarships relevant to you
A list of available scholarships around the world
A scholarship application checklist
More programs from the university
Arts and Humanities (17)
Archeology
Archeology
Bachelor's Degree in Art History
Bachelor's Degree in Art History
Bachelor's Degree in Design
Bachelor's Degree in Design
Bachelor's Degree in Fine Arts
Bachelor's Degree in Fine Arts
Bachelor's Degree in Philosophy
Bachelor's Degree in Philosophy
Classical Philology
Classical Philology
Conservation and Restoration of Cultural Heritage
Conservation and Restoration of Cultural Heritage
English Studies
English Studies
General and Comparative Literature
General and Comparative Literature
Geography and Territorial Planning
Geography and Territorial Planning
History
History
History - Classical Philology
History - Classical Philology
Linguistics and Applied Languages
Linguistics and Applied Languages
Modern Languages ​​and Literatures
Modern Languages ​​and Literatures
Musicology- 48 months
Musicology- 48 months
Spanish Language and Literature
Spanish Language and Literature
Translation and Interpretation
Translation and Interpretation
Business and Management (4)
Bachelor's Degree in Business Administration and Management
Bachelor's Degree in Business Administration and Management
Business Administration and Management (English)
Business Administration and Management (English)
Business Administration and Management - Computer Engineering
Business Administration and Management - Computer Engineering
Finance, Banking and Insurance
Finance, Banking and Insurance
Engineering and Technology (10)
Bachelor's Degree in Computer Engineering
Bachelor's Degree in Computer Engineering
Bachelor's Degree in Geological Engineering
Bachelor's Degree in Geological Engineering
Bachelor's Degree in Mathematical Engineering
Bachelor's Degree in Mathematical Engineering
Chemical Engineering
Chemical Engineering
Computer Engineering (English)
Computer Engineering (English)
Computer Engineering - Mathematics
Computer Engineering - Mathematics
Electronic Communications Engineering
Electronic Communications Engineering
Materials Engineering
Materials Engineering
Software Engineering
Software Engineering
Video Game Development
Video Game Development
Life Sciences and Medicine (17)
Bachelor's Degree in Biology
Bachelor's Degree in Biology
Bachelor's Degree in Pharmacy
Bachelor's Degree in Pharmacy
Bachelor's Degree in Psychology
Bachelor's Degree in Psychology
Bachelor's Degree in Speech Therapy
Bachelor's Degree in Speech Therapy
Biochemistry
Biochemistry
Dentistry
Dentistry
Human Nutrition and Dietetics
Human Nutrition and Dietetics
Medicine
Medicine
Nursing
Nursing
Occupational Therapy
Occupational Therapy
Optics and Optometry
Optics and Optometry
Pharmacy - Human Nutrition and Dietetics
Pharmacy - Human Nutrition and Dietetics
Pharmacy and Pharmaceutical Technology
Pharmacy and Pharmaceutical Technology
Physiotherapy
Physiotherapy
Podiatry
Podiatry
Psychology - Speech Therapy
Psychology - Speech Therapy
Veterinary Science
Veterinary Science
Natural Sciences (8)
Bachelor's Degree in Physics
Bachelor's Degree in Physics
Chemistry
Chemistry
Chemistry - Biochemistry
Chemistry - Biochemistry
Food Science and Technology
Food Science and Technology
Geology
Geology
Mathematics
Mathematics
Mathematics - Physics (English)
Mathematics - Physics (English)
Mathematics and Statistics
Mathematics and Statistics
Social Sciences and Management (37)
Advertising and Public Relations
Advertising and Public Relations
Applied Statistics
Applied Statistics
Audiovisual Communication
Audiovisual Communication
Bachelor's Degree in Economics
Bachelor's Degree in Economics
Bachelor's Degree in Journalism
Bachelor's Degree in Journalism
Bachelor's Degree in Law
Bachelor's Degree in Law
Bachelor's Degree in Sciences of Religions
Bachelor's Degree in Sciences of Religions
Bachelor's Degree in Social Work
Bachelor's Degree in Social Work
Bachelor's Degree in Tourism
Bachelor's Degree in Tourism
Commerce
Commerce
Criminology
Criminology
Economics (English)
Economics (English)
Economics - International Relations (English)
Economics - International Relations (English)
Economics - Mathematics and Statistics
Economics - Mathematics and Statistics
Information and Documentation
Information and Documentation
International Relations
International Relations
Labor Relations and Human Resources
Labor Relations and Human Resources
Law - Business Administration and Management
Law - Business Administration and Management
Law - Labor Relations and Human Resources
Law - Labor Relations and Human Resources
Law - Philosophy
Law - Philosophy
Law - Political Science
Law - Political Science
Management and Public Administration
Management and Public Administration
Management and Public Administration - Economy
Management and Public Administration - Economy
Pedagogy
Pedagogy
Political Science - Philosophy
Political Science - Philosophy
Political Sciences
Political Sciences
Semitic and Islamic Studies
Semitic and Islamic Studies
Social Education
Social Education
Social and Cultural Anthropology
Social and Cultural Anthropology
Sociology
Sociology
Sociology - International Relations and Development Expert
Sociology - International Relations and Development Expert
Teacher in Early Childhood Education
Teacher in Early Childhood Education
Teacher in Early Childhood Education - Pedagogy
Teacher in Early Childhood Education - Pedagogy
Teacher in Early Childhood Education - Teacher in Primary Education
Teacher in Early Childhood Education - Teacher in Primary Education
Teacher in Primary Education
Teacher in Primary Education
Teacher in Primary Education - Pedagogy
Teacher in Primary Education - Pedagogy
Tourism - Commerce
Tourism - Commerce
Arts and Humanities (35)
Advanced Studies in History of Spanish Art
Advanced Studies in History of Spanish Art
Advanced Studies in Philosophy
Advanced Studies in Philosophy
Advanced Studies of Museums and Historical - Artistic Heritage
Advanced Studies of Museums and Historical - Artistic Heritage
Applied Ethics
Applied Ethics
Archaeological Research
Archaeological Research
Art Education in Social and Cultural Institutions
Art Education in Social and Cultural Institutions
Audiovisual Translation and Localization
Audiovisual Translation and Localization
Classical Studies
Classical Studies
Contemporary Culture: Literature, Artistic Institutions and Cultural Communication
Contemporary Culture: Literature, Artistic Institutions and Cultural Communication
Creative Writing
Creative Writing
Cultural Heritage Conservation
Cultural Heritage Conservation
Cultural Heritage in the 21st Century: Management and Research
Cultural Heritage in the 21st Century: Management and Research
Digital Letters: Advanced Studies in Electronic Textualities
Digital Letters: Advanced Studies in Electronic Textualities
English Linguistics: New Applications and International Communication
English Linguistics: New Applications and International Communication
Epistemology of Natural and Social Sciences
Epistemology of Natural and Social Sciences
Geographic Information Technologies
Geographic Information Technologies
History and Anthropology of America
History and Anthropology of America
History and Sciences of Antiquity
History and Sciences of Antiquity
History of Contemporary Art and Visual Culture
History of Contemporary Art and Visual Culture
History of the Hispanic Monarchy
History of the Hispanic Monarchy
Literary Translation
Literary Translation
Master's Degree in Contemporary History
Master's Degree in Contemporary History
Master's Degree in Design
Master's Degree in Design
Master's Degree in Hispanic American Literature
Master's Degree in Hispanic American Literature
Master's Degree in Literary Studies
Master's Degree in Literary Studies
Medieval Studies
Medieval Studies
Research in Art and Creation
Research in Art and Creation
Smart and Sustainable Cities (Smart Cities)
Smart and Sustainable Cities (Smart Cities)
Spanish Language Research
Spanish Language Research
Spanish Literature
Spanish Literature
Spanish and Ibero-American Thought
Spanish and Ibero-American Thought
Spanish and Latin American Music
Spanish and Latin American Music
Spanish as a Second Language
Spanish as a Second Language
Theater and Performing Arts
Theater and Performing Arts
Written Historical Heritage
Written Historical Heritage
Business and Management (7)
Actuarial and Financial Sciences
Actuarial and Financial Sciences
Audit and Accounting
Audit and Accounting
Banking and Quantitative Finance
Banking and Quantitative Finance
Business Finance
Business Finance
Business Management, Marketing and Accounting Research
Business Management, Marketing and Accounting Research
Electronic Commerce
Electronic Commerce
Logistics and Economic Management of Defense
Logistics and Economic Management of Defense
Engineering and Technology (7)
Chemical Engineering: Process Engineering
Chemical Engineering: Process Engineering
Formal Methods in Computer Engineering
Formal Methods in Computer Engineering
Internet of Things
Internet of Things
Master's Degree in Computer Engineering
Master's Degree in Computer Engineering
Master's Degree in Geological Engineering
Master's Degree in Geological Engineering
Master's Degree in Mathematical Engineering
Master's Degree in Mathematical Engineering
Systems and Control Engineering
Systems and Control Engineering
Life Sciences and Medicine (38)
Animal Production and Health
Animal Production and Health
Applied Plant Biology
Applied Plant Biology
Behavioral and Health Sciences Methodology
Behavioral and Health Sciences Methodology
Biomaterials
Biomaterials
Biostatistics
Biostatistics
Conservation Biology
Conservation Biology
Drug Discovery
Drug Discovery
Educational Psychology
Educational Psychology
General Health Psychology
General Health Psychology
General Health Psychology (CES Cardenal Cisneros)
General Health Psychology (CES Cardenal Cisneros)
Genetics and Cell Biology
Genetics and Cell Biology
Health Analysis
Health Analysis
Health Care Research
Health Care Research
Health, Integration and Disability
Health, Integration and Disability
Hospital Clinical Optometry
Hospital Clinical Optometry
Human Nutrition and Applied Dietetics
Human Nutrition and Applied Dietetics
Immunology Research
Immunology Research
Industrial and Environmental Biotechnology
Industrial and Environmental Biotechnology
Introduction to Research in Mental Health
Introduction to Research in Mental Health
Master's Degree in Biochemistry, Molecular Biology and Biomedicine
Master's Degree in Biochemistry, Molecular Biology and Biomedicine
Master's Degree in Dental Sciences
Master's Degree in Dental Sciences
Master's Degree in Speech Therapy
Master's Degree in Speech Therapy
Microbiology and Parasitology: Research and Development
Microbiology and Parasitology: Research and Development
Neuroscience
Neuroscience
Occupational Risk Prevention
Occupational Risk Prevention
Optical and Imaging Technologies
Optical and Imaging Technologies
Optometry and Vision
Optometry and Vision
Physical Anthropology: Human Evolution and Biodiversity
Physical Anthropology: Human Evolution and Biodiversity
Psychoanalysis and Theory of Culture
Psychoanalysis and Theory of Culture
Psychogerontology
Psychogerontology
Psychopharmacology and Drugs of Abuse
Psychopharmacology and Drugs of Abuse
Research in Translational Medicine
Research in Translational Medicine
Research in Vision Sciences
Research in Vision Sciences
Sanitary Biology
Sanitary Biology
Social Psychology
Social Psychology
Virology
Virology
Work Psychology, Organizational Psychology and Human Resources Management
Work Psychology, Organizational Psychology and Human Resources Management
Zoology
Zoology
Natural Sciences (18)
Advanced Mathematics
Advanced Mathematics
Advanced Paleontology
Advanced Paleontology
Biomedical Physics
Biomedical Physics
Chemical Science and Technology
Chemical Science and Technology
Disaster Management
Disaster Management
Energy
Energy
Environmental Geology
Environmental Geology
Exploration of Hydrocarbons and Mineral Resources
Exploration of Hydrocarbons and Mineral Resources
Master's Degree in Astrophysics
Master's Degree in Astrophysics
Master's Degree in Ecology
Master's Degree in Ecology
Master's Degree in Environment: Human and Socioeconomic Dimensions
Master's Degree in Environment: Human and Socioeconomic Dimensions
Master's Degree in Organic Chemistry
Master's Degree in Organic Chemistry
Meteorology and Geophysics
Meteorology and Geophysics
Nanophysics and Advanced Materials
Nanophysics and Advanced Materials
New Electronic and Photonic Technologies
New Electronic and Photonic Technologies
Nuclear Physics
Nuclear Physics
Restoration of Ecosystems
Restoration of Ecosystems
Theoretical Physics
Theoretical Physics
Social Sciences and Management (51)
Access to the Lawyer Profession (CES Cardenal Cisneros)
Access to the Lawyer Profession (CES Cardenal Cisneros)
Access to the Lawyer Profession (CES IEB)
Access to the Lawyer Profession (CES IEB)
Access to the Lawyer Profession (ISDE)
Access to the Lawyer Profession (ISDE)
Access to the Lawyer Profession (RCU Escorial-MarÃa Cristina Madrid Office)
Access to the Lawyer Profession (RCU Escorial-MarÃa Cristina Madrid Office)
Advanced Studies in Financial and Tax Law
Advanced Studies in Financial and Tax Law
Advanced Studies in Labor and Employment
Advanced Studies in Labor and Employment
Advanced Studies in Political Communication
Advanced Studies in Political Communication
Advanced Studies in Social Education
Advanced Studies in Social Education
Advanced Studies in Social and Cultural Anthropology
Advanced Studies in Social and Cultural Anthropology
Advanced Studies on Islam in Contemporary European Society
Advanced Studies on Islam in Contemporary European Society
Applied Sociology: Social Problems
Applied Sociology: Social Problems
Audiovisual Communication for the Digital Age
Audiovisual Communication for the Digital Age
Audiovisual Heritage: History, Recovery and Management
Audiovisual Heritage: History, Recovery and Management
Communication of Organizations
Communication of Organizations
Community Social Work, Management and Evaluation of Social Services
Community Social Work, Management and Evaluation of Social Services
Computational Statistical Treatment of Information
Computational Statistical Treatment of Information
Consumption and Commerce
Consumption and Commerce
Contemporary Latin American Studies
Contemporary Latin American Studies
Data Mining and Business Intelligence
Data Mining and Business Intelligence
Documentation Management, Libraries and Archives
Documentation Management, Libraries and Archives
Early Attention: Prevention, Detection and Intervention in Development and Learning Disorders
Early Attention: Prevention, Detection and Intervention in Development and Learning Disorders
European Union and the Mediterranean: Historical, Cultural, Political, Economic and Social Basis
European Union and the Mediterranean: Historical, Cultural, Political, Economic and Social Basis
Gender Studies
Gender Studies
Government and Public Administration
Government and Public Administration
Hotel Business Administration and Management
Hotel Business Administration and Management
International Defense and Security Policy (only for Defense and Security personnel)
International Defense and Security Policy (only for Defense and Security personnel)
International Economics and Development
International Economics and Development
International Law
International Law
International Politics: Sectoral and Area Studies
International Politics: Sectoral and Area Studies
Journalism Research: Discourse and Communication
Journalism Research: Discourse and Communication
LGBTIQ+ Studies
LGBTIQ+ Studies
Master's Degree in Economics
Master's Degree in Economics
Master's Degree in Economics and Innovation Management
Master's Degree in Economics and Innovation Management
Master's Degree in Sciences of Religions
Master's Degree in Sciences of Religions
North American Studies
North American Studies
Official Statistics and Social and Economic Indicators
Official Statistics and Social and Economic Indicators
Old Book and Bibliographic Heritage
Old Book and Bibliographic Heritage
Parliamentary Law, Elections and Legislative Studies
Parliamentary Law, Elections and Legislative Studies
Photographic Documentation: Recovery, Treatment and Diffusion
Photographic Documentation: Recovery, Treatment and Diffusion
Planning and Management of Tourist Destinations
Planning and Management of Tourist Destinations
Political Analysis
Political Analysis
Political Theory and Democratic Culture
Political Theory and Democratic Culture
Professional Multimedia Journalism
Professional Multimedia Journalism
Psychopedagogy
Psychopedagogy
Research Methodology in Social Sciences: Innovations and Applications
Research Methodology in Social Sciences: Innovations and Applications
Research in Education
Research in Education
Social Communication
Social Communication
Sociocultural Analysis of Knowledge and Communication
Sociocultural Analysis of Knowledge and Communication
Special Education
Special Education
Strategies and Technologies for Development: Cooperation in a Changing World
Strategies and Technologies for Development: Cooperation in a Changing World
Teacher Training for ESO and Baccalaureate Teacher Training, FP and Language Teaching
Teacher Training for ESO and Baccalaureate Teacher Training, FP and Language Teaching
Full-Time MBA (1)
Business Administration and Management (MBA)
Business Administration and Management (MBA)
Arts and Humanities (15)
Ancient World Studies
Ancient World Studies
Doctoral Programme in Art History
Doctoral Programme in Art History
Doctoral Programme in Contemporary History
Doctoral Programme in Contemporary History
Doctoral Programme in Fine Arts
Doctoral Programme in Fine Arts
Doctoral Programme in Hispanic American Literature
Doctoral Programme in Hispanic American Literature
Doctoral Programme in Literary Studies
Doctoral Programme in Literary Studies
Doctoral Programme in Philosophy
English Linguistics
French Studies
Geography
History and Archeology
Musicology- 36 months
Spanish Language and Literatures
Theater Studies
Theoretical and Applied Linguistics
Business and Management (3)
Data Analysis (Data Science)
Data Analysis (Data Science)
Doctoral Programme in Business Administration and Management
Doctoral Programme in Business Administration and Management
Quantitative Finance and Economics
Quantitative Finance and Economics
Engineering and Technology (4)
Chemical Engineering
Chemical Engineering
Doctoral Programme in Computer Engineering
Doctoral Programme in Computer Engineering
Geology and Geological Engineering
Geology and Geological Engineering
Mathematical Engineering, Statistics and Operations Research
Mathematical Engineering, Statistics and Operations Research
Life Sciences and Medicine (13)
Biomedical Research
Biomedical Research
Doctoral Programme in Biochemistry, Molecular Biology and Biomedicine
Doctoral Programme in Biochemistry, Molecular Biology and Biomedicine
Doctoral Programme in Biology
Doctoral Programme in Biology
Doctoral Programme in Dental Sciences
Doctoral Programme in Dental Sciences
Doctoral Programme in Pharmacy
Doctoral Programme in Pharmacy
Doctoral Programme in Psychology
Doctoral Programme in Psychology
Health Care
Medical Chemistry
Microbiology and Parasitology
Optics, Optometry and Vision
Research in Medical-Surgical Sciences
Veterinary Medicine
Vision Sciences
Natural Sciences (9)
Advanced Chemistry
Advanced Chemistry
Doctoral Programme in Astrophysics
Doctoral Programme in Astrophysics
Doctoral Programme in Ecology
Doctoral Programme in Ecology
Doctoral Programme in Environment: Human and Socioeconomic Dimensions
Doctoral Programme in Environment: Human and Socioeconomic Dimensions
Doctoral Programme in Organic Chemistry
Doctoral Programme in Organic Chemistry
Doctoral Programme in Physics
Doctoral Programme in Physics
Erasmus Mundus in Fusion Science and Engineering / International Doctoral College in Fusion Science and Engineering (FUSION-DC)
Mathematical Research
Theoretical Chemistry and Computational Modeling
Social Sciences and Management (13)
Audiovisual Communication, Advertising and Public Relations
Audiovisual Communication, Advertising and Public Relations
Doctoral Programme in Economics
Doctoral Programme in Economics
Doctoral Programme in Economics and Innovation Management
Doctoral Programme in Economics and Innovation Management
Doctoral Programme in Journalism
Doctoral Programme in Journalism
Doctoral Programme in Law
Doctoral Programme in Law
Doctoral Programme in Sciences of Religions
Doctoral Programme in Sciences of Religions
Doctoral Programme in Social Work
Doctoral Programme in Tourism
Documentation Sciences
Education
Feminist and Gender Studies
Political and Administration Sciences and International Relations
Sociology and Anthropology