UCM. Master in Formal Methods in Computer Science and Engineering 2019

UCM – Universidad Complutense de Madrid

Vacancy: 1 master’s scholarship

UCM. Inter-University Master’s Degree Formal Methods in Computer Science and Engineering

Duration: 1 year (60 credits).
Teaching language: English. (Spanish may be scarcely used in some elective courses).
Qualification obtained: Master’s degree.
Academic 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 rigor, 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.

Additional requirements: For students whose native language is not English: accreditation of a level of proficiency in the English language at least corresponding to a level C1 (Common European Framework of Reference for Languages).

For foreign students consult: www.ucm.es/estudios-extranjeros

Documents required: Stated in the application form.