University of Gothenburg
  2. Study
  3. Programs and courses
  4. Formal Methods for Security

Formal Methods for Security

Course
DIT705
Master’s level
7.5 credits (ECTS)
Offered by the Department of Computer Science and Engineering at the Faculty of Science and Technology
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application period
-
Application code
GU-86099
Tuition
Full education cost: 18 125 SEK
First payment: 18 125 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Application closed, late application opens 15 December 2026.

Prerequisites and selection

Entry requirements

A Bachelor degree in computer science or a related subject.

Selection

Selection is based upon the number of credits from previous university studies, maximum 285 credits

Study at The University of Gothenburg

How to apply
To be admitted to the University, you need to do an online application. The application procedure is straightforward, but it…
Scholarships for fee paying students
A scholarship can help cover the costs of your studies at the University of Gothenburg. On these pages you will find…
University studies in Sweden
The Academic calendar in Sweden
Last modified