alert Situs ini adalah versi terjemahan educations.com
Tampilkan Educations.com sebagai: mobil

Gelar Master dalam Metode Formal dalam Ilmu Komputer

Universidad Autonoma de Madrid
1 tahun
Purna waktu / paruh waktu
Gelar Master
Madrid
English
September to July
UAM Campus

Deskripsi Gelar Master dalam Metode Formal dalam Ilmu Komputer

Gelar Master dalam Metode Formal dalam Ilmu Komputer

Meningkatnya ketergantungan pada sistem perangkat lunak dari sebagian besar sektor industri membuatnya perlu untuk memastikan bahwa perangkat lunak benar-benar dapat diandalkan dan tahan terhadap serangan eksternal. Dalam gelar Master ini, siswa akan belajar metode untuk menjamin kebenaran dari perangkat lunak yang dikembangkan, dengan mengandalkan teknik formal dan matematika yang sesuai: metode formal yang disebut.

Gelar master ini adalah upaya bersama di antara para ahli utama di wilayah Madrid dalam topik tersebut, termasuk peneliti dari Autónoma, Complutense dan Universitas Politica. Gelar ini mencakup topik pada metode formal - seperti teori bahasa pemrograman, analisis statis, model konkurensi, pengujian formal, rekayasa model-driven, verifikasi terbantu, analisis program bersamaan dan didistribusikan, desain yang benar-dengan-konstruksi - dan pada matematika teknik untuk jenis aplikasi tertentu, seperti pembelajaran mesin, algoritma bio-terinspirasi dan komputasi kuantum. Selain itu, master memungkinkan untuk melakukan tinggal di kelompok atau perusahaan penelitian.

Persyaratan penerimaan

Gelar master ini akan menerima lulusan dalam Teknik Ilmu Komputer, Rekayasa Perangkat Lunak, Teknik Komputer, Teknologi Informasi, dan Sistem Informasi dengan minat yang kuat dalam ketelitian matematika, keandalan, dan formalisasi masalah ilmu komputer, serta lulusan dari derajat yang setara dan dari derajat bersama dengan Informatika dan Matematika. Aplikasi juga diterima dari lulusan di Teknik Teknik untuk Manajemen Komputer, Sistem Komputer atau lulusan ilmu pengetahuan atau teknologi lainnya, dengan pelatihan tambahan yang sesuai. Gelar BSc dalam ilmu komputer atau disiplin terkait, seperti yang dijelaskan di atas. Sertifikat Bahasa Inggris 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

Permintaan informasi - kewajiban gratis

Ingin tahu lebih lanjut tentang program ini, Gelar Master dalam Metode Formal dalam Ilmu Komputer? Isi form berikut dan mencakup setiap pertanyaan yang Anda miliki. Informasi ini akan dikirim langsung ke sekolah, dan perwakilan akan merespon pertanyaan Anda.

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

The Autonomous University of Madrid (UAM) didirikan pada 1968 dan memiliki dua kampus, Cantoblanco dan Medical School, di Madrid utara. The Autonomous University of Madrid diatur dalam tujuh sekolah, yang meliputi: Seni dan Filsafat, Pelatihan dan Pendidikan Guru, Ekonomi dan...


Baca lebih lanjut dan tampilkan semua program Universidad Autonoma de Madrid

Informasi kontak untuk Universidad Autonoma de Madrid

Universidad Autonoma de Madrid

Ciudad Universitaria de Cantoblanco
28049 Madrid
Spain

 Tampilkan nomor telepon
www.uam.es

Request information

Ingin tahu lebih banyak tentang Gelar Master dalam Metode Formal dalam Ilmu Komputer? Isi form berikut dan kami akan lulus rincian Anda ke perwakilan dari sekolah, yang akan merespon pertanyaan Anda.

Reviews

Tidak ada ulasan tersedia.

Tangan menggunakan iPad yang berada di peta Amerika

Menangkan iPad!

Ikuti survei kami dan bergabunglah untuk memenangkan iPad baru untuk studi Anda! Respons Anda akan membantu siswa di masa depan menemukan kesempatan belajar yang sempurna di luar negeri.

Saya ingin iPad

Tes karir - temukan karier sempurna Anda

Ikuti tes karier gratis kami yang akan mencocokkan Anda dengan program dan karier berdasarkan minat dan kepribadian Anda.

Ikuti tes