Apply

Security by Design using Formal Methods

Course provider

Syddansk Universitet

Location

  • Odense

Description

Dette kursus giver en introduktion på højt niveau til sikkerhed ved design – en tilgang til softwareudvikling, der integrerer sikkerhedstaktikker og -mønstre fra starten af softwaredesignet for at indbygge sikkerhed i systemet fra bunden – ved hjælp af formelle metoder, herunder casestudier og erfaringsrapporter fra industrien. Grundlæggende elementer i denne tilgang illustreres ved hjælp af værktøjer på industriplan til formel softwarespecifikation som TLA+ og dets værktøjskasse til modelkontrol og maskincheckede beviser.

Syddansk Universitet

Practical information

Course provider

Syddansk Universitet

Location

  • Odense

Course provider contact information

Contact the study administration
E-mail: lah@sam.sdu.dk

Course language

English

Course duration

We cannot specify the duration of the course, but go to the course providers to read more.

Syddansk Universitet

The process is that easy

  1. Check out the course

    Explore the numerous options offered by Finanskompetencepuljen and find the course you want.

  2. Talk to your manager

    Initiate a dialogue with your manager. Some companies pay for the time you spend during your education.

  3. Apply for the course

    Apply for the course via Finanskompetencepuljen. We approve financing and contact the course provider

  4. We will contact you

    You will be contacted by the course provider to indicate whether you have been accepted and to subsequently provide all practical information.

Useful information

  • Who can apply

    Everyone employed in a company that is subject to a collective agreement between Financial Services Union Denmark and Finans Danmark can use Finanskompetencepuljen

  • What can I apply?

    You can apply for any of the courses covered by Finanskompetencepuljen. However, the course provider will determine if you are accepted.

  • What does Finanskompetencepuljen cover?

    Finanskompetencepuljen covers the costs of the actual course as well as the materials, e.g. books

  • How often may I apply?

    You can apply for one course per rolling year—calculated from the application date. If you have reached your maximum number of courses, you must wait a year before applying again.

How do I get started?