Forskarskolan Wasp

Linköpings universitet / Administratörsjobb (offentlig verksamhet) / Linköping
Observera att sista ansökningsdag har passerat.

Visa alla administratörsjobb (offentlig verksamhet) i Linköping, Mjölby, Åtvidaberg, Finspång, Motala eller i hela Sverige
Visa alla jobb hos Linköpings universitet i Linköping, Finspång, Motala, Norrköping, Kinda eller i hela Sverige

Linköpings universitet ledigförklarar en anställning som Doktorand i datalogi vid Institutionen för Datavetenskap.

Wallenberg Autonomous Systems and Software Program, WASP, är Sveriges hittills största enskilda forskningsprogram. Programmet skapar en plattform får framtidens forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskarskolan inom WASP erbjuder en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med hög industriell relevans.

Publiceringsdatum
2017-09-26

Dina arbetsuppgifter
Du kommer att arbeta med analyser och konflikthantering i autonoma system. Konflikthantering för autonoma system blir allt viktigare när dessa system kommer in i verkliga säkerhetskritiska sammanhang. Konflikter kan uppkomma inne i ett system, t.ex. när regler för att öka säkerheten (safety) motverkar informationssäkerhet (security). Detta kan leda till sårbarheter som kan utnyttjas av en illvillig motståndare. Konflikter kan också uppkomma bland multipla aktörer som agerar i ett kooperativt sammanhang. Dessa tillkommer p.g.a. komplexiteten i valmöjligheter i rymden som uppstår mellan mål, handlingar, och tillstånd för flera agenter, där systemet kan hamna i oönskade eller resursslösande tillstånd, eller t.o.m. osäkra tillstånd. Konflikter bland flera handlingar kan analyseras under design stadiet eller under operationen (run-time stadiet). I det första fallet identifieringen kräver en formell analys av systemets krav. Det andra fallet liknar anomalidetektering och hantering. Detta projekt studerar en kombination av grafteoretiska, spelteoretiska, eller model-baserade analystekniker för analys vid designstadiet, och maskininlärning för det dynamiska fallet.

Behörighet
Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning.

Den sökande ska ha en stark bakgrund inom datavetenskap och grundläggande kunskaper inom statistik. Både formella kunskaper i matematik som pragmatiska färdigheter i programmering är ett krav. Projektet är både teoretiskt och systemorienterat.

Förordnandetid
Den första anställningen får gälla först ett år. Anställningen får förnyas med högst två år i taget.

Tillträde
Enligt överenskommelse.

Facklig kontakt
För kontakt med fackliga kontaktpersoner se https://liu.se/jobba-pa-liu/lediga-jobb

Lika villkor
Flertalet av våra doktorander inom Institutionen för Datavetenskap är män därför ges kvinnor företräde vid tillsättning av denna anställning, vid huvudsak i lika meriter i övrigt.

För mer information om anställningen:
https://liu.se/jobba-pa-liu/lediga-jobb

Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.

Välkommen med din ansökan!

Linköpings universitet har upphandlade avtal och undanber oss direktkontakt från bemannings- och rekryteringsföretag samt försäljare av platsannonser.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Lokalt avtalad lönestege.

Så ansöker du
Sista dag att ansöka är 2017-10-20
Klicka på denna länk för att göra din ansökan

Företag
Linköpings Universitet

Adress
Linköpings Universitet
Institutionen för Datavetenskap
58183 Linköping

Kontorsadress
Institutionen för Datavetenskap

Jobbnummer
3718860

Observera att sista ansökningsdag har passerat.

Forskarskolan Wasp

Prenumerera på jobb från Linköpings universitet