Search
Did you study here?
Write a short review & help students like you! Over 1,500 students already shared their experience.
Formal Methods in Programming
University Babes-Bolyai
Faculty of Mathematics and Computer Science
| Application Deadline: | September 10 (EU); September 1 (Non-EU) | ||
| Annual Tuition Fee: | ≈ € 710 - ≈ € 2,410 (non-EEA) | ||
| Location: | Cluj-Napoca / Romania / View location on map ▾ Hide location on map ▴ | ||
| Duration: | 24 months | Start Date: | October |
| Educational Form: |
| ||
| Education Variants: |
| ||
| Credits (ECTS): | 120 | ||
| Languages: | English | ||
Location of University Babes-Bolyai
Programme objectives: The master’s programme reflects the modern trends in theoretical and applied computer science. The courses taught provide students with the required knowledge in this field and aim to enable them:
* to acquire the formal techniques necessary for the development of software systems;
* to gain theoretical and practical skills for formal mathematical thinking in specifying, verifying and developing programmes;
* to acquire sound theoretical knowledge essential for the implementation of reliable software systems;
* to attain the necessary skills for the development of efficient and reliable software applications;
* to learn how to work in a team and follow interdisciplinary approaches with regard to research and development;
* to acquire specialized training in the field of software analysis and its improvement.
Course aimed at: graduates in Computer Science and Automation & Computers.
Partner universities: Johannes Kepler University of Linz, University of Pisa, University of Wolverhampton, Pierre Mendès-France University of Grenoble.
Type of master’s programme: scientific.
Contents
The master studies represent the second cycle of the university studies. The MA programmes enable the students to further their research into a specific domain and they prepare the way towards their applying for the doctoral programmes. A master's degree corresponds to a two-year postgraduate program (120 ECTS credits, 30 ECTS in each semester). The curriculum of a master´s programme provides 14-16 hours a week. There are 4-6 disciplines in each semester.
Core disciplines: Formal Methods in Programming; Software Architecture; Java Platforms and Technologies for Distributed Applications; Software Modelling; Algebraic Specification; Framework Design; Rule-Based Programming; Temporal Logic; Formal Methods in Programming Languages; Advanced Methods for Data Analysis.
Thesis
The completion of master studies assumes a dissertation corresponding to 20 credits, beyond the 120 credits of the curriculum.
IELTS
You are normally required to take an English Proficiency Test.
Most European Universities recognise the IELTS test.
Take testGRE® revised General Test
Official Registration.
Get free test prep and register today.
Requirements
Selection criteria
Admission requirements: overall four-year undergraduate average grade.
Admission procedure
Non-EU citizens can enroll at Babes-Bolyai University based on the letter of acceptance delivered by the Ministry of Education, Research and Innovation without having to pass an admission exam. Foreign applicants who want to enroll at Babes-Bolyai University as self sponsored students have two choices:
1. Submit their documents to the Department of European Affairs and International Relations within the Ministry of Education, Research and Innovation (28-30, Gen. Berthelot Street, 010168 Bucharest, Romania, Phone no:+40 21 405 62 00).
2. Submit their documents directly to Babes-Bolyai University, Centre for International Cooperation (68 Avram Iancu St., 400083 Cluj-Napoca, Phone no:+40 264 429 762 ext 6023).
Self-sponsored EU citizens follow the same admission procedures as Romanian citizens. A precondition for application is the recognition of the study certificates (high school, BA) by the Romanian Ministry of Education, Research and Innovation. Our office can assist EU citizens in gettingthis recognition, by collecting and sending their files further to the Ministry of Education, Research and Innovation.
Documents necessary for admission at Master´s Level:
* Certified copy of the following documents translated into Romanian/English/ French or German, in case the originals are not written in one of the languages mentioned above:
a) High-school graduation diploma
b) Bachelor's Degree diploma
c) Birth certificate
d) Marriage certificate (if the applicant's last name changed subsequent to marriage)
e) Transcript of Records for university studies at graduate level
* Medical certificate
* Passport copy
* Four passport-size photographs
* Application form
Additional Requirements
| Minimal degree required: | Bachelor's degree |
| Minimal amount of work experience | Not specified |
Ask a Question
You can contact Prof. Militon Frentiu to ask a question about Formal Methods in Programming at University Babes-Bolyai.
Relevant Links
Contact
Contact University Babes-Bolyai
Using the form on this page, you can directly ask questions to the contactpersons at the university.
Fill out your contact information and message. The information you fill out in this form will be sent directly to the university. They will reply to you on the e-mail address you provide here.
Explain your academic background in the message; the more sophisticated your e-mail, the better the answer.
MastersPortal.eu cannot take any responsibility for the answering of contacts or for the content of their replies.
MastersPortal.eu - Finds the Masters for you!