alert Este site é uma versão traduzida de educations.com
Mostrar Educations.com como: Móvel

Mestrado em Métodos Formais em Ciência da Computação

Universidad Autonoma de Madrid
1 ano
A tempo inteiro / tempo parcial
Mestrado
Madri
English
September to July
UAM Campus

Descrição da #Educacao#

Mestrado em Métodos Formais em Ciência da Computação

A crescente dependência de sistemas de software da maioria dos setores da indústria torna necessário garantir que o software seja absolutamente confiável e resistente a ataques externos. Neste mestrado, os alunos aprenderão métodos para garantir a correção do software desenvolvido, contando com técnicas formais e matemáticas adequadas: os chamados métodos formais.

Este mestrado é um esforço conjunto entre os principais especialistas da região de Madrid nesses temas, incluindo pesquisadores das Universidades Autônoma, Complutense e Politécnica. O diploma abrange tópicos sobre métodos formais - como teoria de linguagens de programação, análise estática, modelos de concorrência, testes formais, engenharia orientada por modelos, verificação assistida, análise de programas concorrentes e distribuídos, projeto de construção correta - e em matemática técnicas para tipos de aplicação específicos, como aprendizado de máquina, algoritmos bio-inspirados e computação quântica. Além disso, o mestre possibilita a realização de estadias em grupos de pesquisa ou empresas.

Requisitos de Admissão

Este mestrado aceitará graduados em Engenharia de Computação, Engenharia de Software, Engenharia de Computação, Tecnologia da Informação e Sistemas de Informação com forte interesse no rigor matemático, confiabilidade e formalização de problemas de informática, bem como graduados de graus equivalentes e de graus conjuntos com Informática e Matemática. As inscrições também são bem-vindas de graduados em Engenharia Técnica para Gerenciamento de Computadores, Sistemas de Computação ou outros graduados em ciência ou tecnologia, com treinamento suplementar apropriado. Licenciatura em ciências da computação ou disciplinas relacionadas, conforme descrito acima. Certificado de inglês B2.


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

Marcar - obrigação livre

Quer saber mais sobre este programa, Mestrado em Métodos Formais em Ciência da Computação? Preencha o seguinte formulário e inclua quaisquer perguntas que você tem. Esta informação será enviada diretamente para a escola, e um representante irá responder a sua pergunta.

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

A Universidade Autônoma de Madri (UAM) foi fundada em 1968 e tem dois campi, o Cantoblanco e a Faculdade de Medicina, no norte de Madri. A Universidade Autónoma de Madrid está organizada em sete escolas, que incluem: Artes e Filosofia,...


Leia mais sobre Universidad Autonoma de Madrid

Informações para contato #ContateoInstituto#

Universidad Autonoma de Madrid

Ciudad Universitaria de Cantoblanco
28049 Madrid
Spain

 Mostrar número de telefone
www.uam.es

Request information

Quer saber mais sobre Mestrado em Métodos Formais em Ciência da Computação? Preencha o formulário abaixo e nós vamos transmitir suas informações a um representante da escola, que irá responder a sua pergunta.

Reviews

Não há comentários disponíveis.

Uma mão usa um iPad que fica no mapa da América

Ganhe um iPad!

Participe da nossa pesquisa e participe de um iPad totalmente novo para seus estudos! Sua resposta ajudará futuros alunos a encontrar a oportunidade perfeita de estudar no exterior.

Eu quero um ipad

Teste de carreira - encontre sua carreira perfeita

Faça o nosso teste gratuito de carreira que combina com programas e carreiras baseados nos seus interesses e personalidade.

Faça o teste