Doktorand inom Säkerhetskritiska system med informationssäkerhet

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

Kunniga och engagerade medarbetare med goda förutsättningar är en av de absolut viktigaste framgångsfaktorerna för Linköpings universitet. Lärare och forskare är vår kärnkompetens, men ett framgångsrikt universitet behöver erfarna och motiverade medarbetare inom många områden. Alla roller är viktiga. Vi har ett stort rekryteringsbehov på grund av pensionsavgångar och en forskningsverksamhet i expansion. Du behövs här. Välkommen att söka jobb hos oss!

Institutionen för datavetenskap (IDA) grundades 1983 men våra rötter går tillbaka till tidigt 1970-tal. Det är en av de största datavetenskapliga institutionerna i norra Europa.

Vår forskning täcker ett brett spektrum av områden, från grundläggande datavetenskap till tillämpade områden. Den omfattande forskningen påverkar även vår grund- och forskarutbildning, vilket leder till att vi ger kurser inom flertalet civil- och högskoleingenjörsprogram, samt programmen inom innovativ programmering, kognitionsvetenskap och statistik.
Läs mer: https://liu.se/organisation/liu/ida

Linköpings universitet ledigförklarar en anställning somDoktorand inom Säkerhetskritiska system med informationssäkerhetskrav med placering vid Institutionen för datavetenska

Publiceringsdatum
2018-02-19

Dina arbetsuppgifter
Din forskning kommer att leda till metoder och verktyg för pålitlighetsanalys och resurshantering i framtida autonoma system. Dessa system har komplex funktionalitet och agerar i kritiska scenarier. Därmed ställs krav på tillförlitlighet (korrekt funktion över tid), säkerhet, och informationssäkerhet (i synnerhet att motverka obehöriga ändringar till data, program, och plattform, samt tillgänglighet). Systemet behöver resurser (CPU, minne, bandbredd, energi) för att leverera sina tjänster i dynamiska miljöer. Därutöver kan resurser vara väsentliga i scenarier med resurskonflikter, svält och attacker som inriktar sig på resurser.

Komplexiteten vid designstadiet är tänkt att hanteras genom modellbaserad utveckling. Komplexiteten vid systemanalyser är tänkt att hanteras med hjälp av separation av applikationsmodeller och plattformsmodeller. Att kunna ändra på komponenter vid konceptstudier är en utmaning. När flera aktörer samverkar i ett operationellt scenario, tex inom smarta fabriker, smarta energisystem, nätverkande avioniksystem, förväntar vi oss även modellering av multipla agenter för att kunna analysera deras sammansatta beteende.

Den som är anställd som doktorand skall främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration. Sådant arbete får, innan doktorsexamen har avlagts, inte omfatta mer än 20 procent av full arbetstid.

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

Bedömningsgrunder
Vi söker kandidater med stark bakgrund inom datavetenskap och datateknik (med masterexamen) som har intresse i matematisk modellering och verifiering av systemegenskaper, t.ex. genom logik/automatabaserade formalismer, och kunskaper inom realtidssystem. Tidigare erfarenheter med verktyg inom "model-checking" eller konstraintanalysverktyg är meriterande. Tidigare erfarenhet av arbete inom attackmodellering eller felanalys är meriterande. Eftersom ett projekt bedrivs inom det nationella avionikforskningsprogrammet där projektmöten bedrivs på svenska är kunskaper i svenska språket en fördel.

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

Lika villkor
Flertalet

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 i huvudsak lika meriter i övrigt.

För mer information om anställningen:
https://liu.se/jobba-pa-liu/lediga-jobb?rmpage=job&rmjob=7873&rmlang=SE

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
Lön regleras utifrån en för institutionen lokalt avtalad lönestege.

Så ansöker du
Sista dag att ansöka är 2018-03-13
Klicka på denna länk för att göra din ansökan

Kontakt
Lina Florvik, HR-partner lina.florvik@liu.se +46 13-281925
Simin Nadjm-Tehrani, Professor simin.nadjm-tehrani@liu.se +46 13 282411

Företag
Linköpings Universitet

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

Kontorsadress
Institutionen för datavetenskap

Jobbnummer
3973041

Observera att sista ansökningsdag har passerat.

Doktorand inom Säkerhetskritiska system med informationssäkerhet

Prenumerera på jobb från Linköpings universitet