Die Åbo Akademi University bietet einen Master in Computertechnik, der sichere Softwareentwicklung, Netzwerksicherheit und die formale Verifikation kritischer Systeme abdeckt. Als Finnlands einzige schwedischsprachige Universität bringt sie eine starke Tradition in formalen Methoden und Softwarekorrektheit ein. Absolventinnen und Absolventen sind darauf vorbereitet, hochintegre, sicherheitskritische Systeme zu entwickeln und abzusichern. Für EU-/EWR-Studierende ist das Studium gebührenfrei.