L'Åbo Akademi University propose un master en génie informatique couvrant le développement logiciel sécurisé, la sécurité des réseaux et la vérification formelle des systèmes critiques. Seule université de langue suédoise de Finlande, elle apporte une solide tradition en méthodes formelles et correction logicielle. Les diplômés sont préparés à concevoir et à garantir des systèmes critiques à haute intégrité. Les frais sont nuls pour les étudiants UE/EEE.