Doktorand i datalogi med inriktning mot cybersäkerhet

Linköpings universitet / Högskolejobb / Linköping
2023-12-08
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i datalogi med inriktning mot cybersäkerhet" (publicerad 2024-05-17) ⬅️


Visa alla högskolejobb 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

Vi har kraften från över 40 000 studenter och medarbetare. Studenter som ger framtidshopp. Medarbetare som varje dag bidrar till att Linköpings universitet tar sig an samtidens utmaningar. Vår värdegrund vilar på trovärdighet, tillit och trygghet. Genom att vara modiga, tänka fritt och göra nytt skapar vi tillsammans, med stora och små handlingar, en bättre framtid. Välkommen att söka jobb hos oss!
För mer information om anställningen
För att se annonsen i sin helhet vänligen gå till https://liu.se/jobba-pa-liu/lediga-jobb/23378

Publiceringsdatum
2023-12-08

Arbetsuppgifter
Din uppgift som doktorand blir att bedriva forskning i världsklass inom cybersäkerhet med inriktning på protokollsäkerhet och automatiserade bevisresonemang. Doktorandtjänsterna finansieras av två relaterade forskningsprojekt

• Det WASP-finansierade SOURCE-projektet undersöker säkra principer för orkestrering med hjälp av generativa AI-metoder för protokolldesign inklusive automatisk verifiering. Nya modeller och principer kommer att verifieras genom att utföra experimentell forskning med öppen data. Vi kommer att arbeta med dynamiska resursallokeringstekniker från forskningsfronten såväl som Trusted Execution Environments (TEE).
• Projektet "Protocol security verification using dynamic key structures" är finansierat av strategiska forskningssatsningen ELLIIT i samarbete med Lunds universitet. Målet med projektet är att övervinna den inneboende beräkningskomplexiteten hos säkerhetsanalys av kommunikationsprotokoll genom att tillhandahålla medel och verktyg för att utnyttja modellstrukturer (t.ex. dynamiska nyckelberoenden) i modeller av säkerhetsmekanismer och att använda dessa strukturer för att automatisera säkerhetsanalys.

Som doktorand ägnar du dig åt din forskarutbildning och forskningsprojekt där du ingår. I ditt arbete kan även ingå att undervisa eller att delta i andra institutionsuppdrag, upp till 20% av heltid.

Kvalifikationer
Du har avlagt examen på avancerad nivå inom datavetenskap eller matematik eller slutfört kurser om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå inom datavetenskap eller på något annat sätt förvärvat i huvudsak motsvarande kunskaper. Som datavetenskap räknas här också datateknik, mjukvaruteknik, och informationsteknologi.

En kandidat för denna tjänst förväntas ha genomfört kurser i datavetenskap och matematik med utmärkta betyg. Förutom kursutskrifter ska kandidaten kunna demonstrera kunskaper inom mjukvaruutveckling (t.ex. genom en programmeringsportfölj) samt matematisk skicklighet (t.ex. genom kursarbete).

Anställningen kräver mycket goda kunskaper i engelska både i tal och skrift.

Vi söker en person som är driven, nyfiken, kreativ och har en passion för innovation. Att arbeta självständigt är en förutsättning i rollen.

Din arbetsplats

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

Du kommer att tillhöra enheten Real-Time Systems (RTSLAB) på avdelningen för Programvara och system (SaS), Institutionen för datavetenskap. Vi bedriver forskning inom cybersäkerhet, pålitlighet och resursallokering i distribuerade system. Labbet består av mer än 10 doktorander och erbjuder en spännande och dynamisk forskningsmiljö.

Om anställningen
I samband med tillträde till anställningen kommer du att antas till forskarutbildningen. Läs mer om respektive fakultets forskarutbildning här.

Anställningen är tidsbegränsad till fyra år heltid. Du anställs till en början på ett år, och därefter förnyas anställningen med högst två år i taget, utifrån uppnådd studieplan. Förlängning av anställning upp till fem år sker utifrån grad av undervisnings- och institutionsuppdrag. Vid särskilda skäl kan ytterligare förlängning ske.

Tillträde enligt överenskommelse.

Lön och förmåner
Doktorandlönen regleras utifrån en lokalt avtalad lönestege, för närvarande är ingångslönen 32 800 kr/mån. Läs mer om förmåner för anställda här.

Facklig kontakt
Information om fackliga kontaktpersoner, se https://liu.se/jobba-pa-liu/hjalp-for-sokande.

Så ansöker du
Välkommen att söka denna anställning senast den 2024-02-12



Vi välkomnar sökande med olika bakgrund, erfarenheter och perspektiv, det berikar och utvecklar vår verksamhet. För oss är det självklart att värna om allas lika värde, rättigheter och möjligheter. Läs om vårt arbete med Lika villkor.

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.

Ersättning
Doktorandlönen regleras utifrån en lokalt avtalad lönestege

Så ansöker du
Sista dag att ansöka är 2024-02-12
Klicka på denna länk för att göra din ansökan

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Linköpings Universitet (org.nr 202100-3096), https://www.liu.se/

Kontakt
HR-administratör
Sandra Malmström
sandra.malmstrom@liu.se

Jobbnummer
8317743

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Linköpings universitet

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Linköpings universitet: