Formal Methods in Computer Science
    Go to Autonomous University of Madrid

    Formal Methods in Computer Science

    Autonomous University of Madrid
    Autonomous University of Madrid
    Spain
    Spain, Alcobendas
    University Rank:#198
    0
    Go to Official Website
    Duration12 month(s)
    Tuition Fee
    EUR 190 / credit
    Apply DateMay 17, 2022
    Next IntakeOctober 1, 2022

    Formal Methods in Computer Science

    About

    Overview Key facts:In the first place, all those graduates who have previously acquired the competences listed in section 3 of Annex II of the Resolution of June 8, 2009, of the General Secretariat of Universities (BOE, August 4 2009) by which the recommendations for the verification of the official University degrees linked to the exercise of the profession of Technical Engineer in Computer Science are established, can directly access the Master. In particular, these competences are acquired when obtaining the degree in Computer Science, the degree in Software Engineering and the degree in Computer Engineering that are currently taught in the respective Master's centers, as well as any other official degree linked to the exercise of the profession of Technical Engineer in Computer Science.The Formal Methods in Computer Science programme is offered at the Autonomous University of Madrid.For this same reason, holders of degrees equivalent to any of the above may also be admitted directly, when these degrees are issued by a higher education institution belonging to another member state of the European Higher Education Area, as well as engineers and graduates in Computer Science, in accordance with the arrangements for previous university studies in Spain.Applicants with degrees obtained in educational systems outside the European Higher Education Area may be admitted directly to the Master, upon verification by the Academic Committee that they accredit a level of training in Computer Science equivalent to official university degrees in Spain mentioned above. I want to find another Master Course
    Knowledge of English at the level of a B2 certificate is required to take the master's degree. Knowledge of Spanish is not essential, although it is advisable, because occasionally some optional subjects can be offered only in this language. The Formal Methods in Computer Science programme is offered at the Autonomous University of Madrid.

    Disciplines

    Computer SciencesSoftware Engineering

    Requirements

    Other Requirements

    1Certificate of academic transcript for previous graduate studies (translated and legalized, if required).Average Grade Declaration: Consult the side menu, "Average Grade Declaration".Curriculum vitae (in the Specific Requirements section for certain Master’s Degree Programmes, this must be submitted in a standardized format. Please consult the Master’s Degree website for such specific requirements).Identity Document / Passport.

    Fee Information

    Formal Methods in Computer Science

    Autonomous University of Madrid

    Autonomous University of Madrid

    Spain

    Spain, Alcobendas

    Go to Official Website0