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

ECTS credits

0

About ECTS Credits
About ECTS points ECTS stands for European Credit Transfer System. This is a system that can be used for credit transfer within higher education abroad or in Denmark.

Course language

English

Offered to

Spring/Autumn

Course duration

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

Syddansk Universitet

Determine your level of education

Finanskompetencepuljen offers courses that have prerequisites on your level of education and experience

If you are unsure which courses you can apply for with your current level of education and experience, you can enter your current level of education and see if it gives you access to this course.

Fuldtidsstudier
Ph.d.
Kandidat
Universitestbachelor
Professionsbachelor
Erhvervsakademiuddannelse
Erhvervsfaglige uddannelser
Gymnasiale uddannelser
Folkeskole
Voksen- efter og videreuddannelse
Master
Diplom/HD
Akademiuddannelse
Arbejdsmarkeduddannelse

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?