Formal Methods in Programming

University Babes-Bolyai

24 months
528 EUR/year
Tuition fee
Apply date
Start date


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.

Join the leading study choice platform for free
  1. Get details of 180000+ English-taught programmes worldwide.
  2. Find, wishlist and compare your best fitting programme.
  3. Apply for scholarships worth up to €6,000.
account benefits visualised


Programme objectives: 

The masters 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.

Programme Structure

Courses include:

  • 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

Key information


  • Full-time
    • 24 months

Start dates & application deadlines


IELTS or TOEFL needed


On Campus

Academic requirements

GPA admission requirements GPA Your GPA, or Grade Point Average, is a number that indicates how well or how high you scored in your courses on average. Usually a GPA scales between 1.0 and 4.0, however different countries and universities can have different grading systems.
GRE admission requirements GRE® The GRE® General Test is a widely administered admissions test that measures the skills needed in today's graduate and business school programs worldwide. It contains three sections - Verbal Reasoning, Quantitative Reasoning, and Analytical Writing. Three scores are reported: a Verbal Reasoning score on a 130 - 170 score scale in one-point increments, a Quantitative Reasoning score on a 130 - 170 score scale in one-point increments, and an Analytical Writing score on a 0 - 6 score scale in half-point increments.
GMAT admission requirements GMAT The Graduate Management Admission Test (GMAT) is a test intended to assess certain analytical, writing, quantitative, verbal, and reading skills in written English for use in admission to a graduate management program, such as an MBA. GMAT contains 4 sections - Analytical Writing Assessment, Integrated Reasoning, Quantitative and Verbal. The score has a range from 200 - 800.

English requirements

IELTS admission requirements IELTS The International English Language Test System (IELTS) tests your English-language proficiency on a scale of 1 – 9. The score refers to the combined average score of 4 subjects (writing, listening, speaking, and reading).
TOEFL admission requirements TOEFL® IBT The TOEFL iBT® is given online through the internet at desiganated testing site. The test measures your English-language abilities in an academic setting. The score refers to the total score of 4 subjects (writing, listening, speaking, and reading), each subject has a range of 0 - 30.
PTE Academic admission requirements PTE Academic PTE Academic (Pearson Test of English Academic) is a language test that enables students to demonstrate their writing, listening, speaking, and reading skills when applying to study in English. The score refers to a total score which ranges between 10 and 90.

Other requirements

General requirements

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

Tuition Fee

  • EU/EEA

    528 EUR/year
    Tuition Fee
    Based on the original amount of 528 EUR per year and a duration of 24 months.
  • EU/EEA : 2500 RON year
  • Citizens coming from states that are not member of the European Union,  as well as of the Swiss Confederation tuition: 300 Euro/ month


Studyportals Tip: Students can search online for independent or external scholarships that can help fund their studies. Check the scholarships to see whether you are eligible to apply. Many scholarships are either merit-based or needs-based.

Our partners

Formal Methods in Programming
University Babes-Bolyai