Studyportals placeholder

Formal Methods in Programming, Master

  • Application Deadline
  • 24 months
University rank #801 (QS) ,
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.


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

Detailed Programme Facts

  • Programme intensity Full-time
    • Full-time duration 24 months
  • Languages
    • English
  • Delivery mode
    On Campus

English Language Requirements

This programme may require students to demonstrate proficiency in English.

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.
We've labeled the tuition fee that applies to you because we think you are from and prefer over other currencies.
  • 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

Living costs for Cluj-Napoca

  • 1840 - 2870 RON/month
    Living Costs

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.


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.

The Global Study Awards: get funded with up to £10,000 to study abroad

Together with the ISIC Association and British Council IELTS, Studyportals offers you the chance to receive up to £10000 to expand your horizon and study abroad. We want to ultimately encourage you to study abroad in order to experience and explore new countries, cultures and languages.


Did you know you can compare your wishlisted programmes with our new Comparison tool?