La Åbo Akademi University ofrece un máster en ingeniería informática que abarca el desarrollo de software seguro, la seguridad de redes y la verificación formal de sistemas críticos. Como única universidad de lengua sueca de Finlandia, aporta una sólida tradición en métodos formales y corrección del software. Los egresados están preparados para construir y garantizar sistemas críticos de alta integridad. La matrícula es gratuita para estudiantes de la UE/EEE.