Doktorand inom datavetenskap

Vi söker nu en doktorand inom datavetenskap med inriktning mot formell säkerhetsanalys.

Dina arbetsuppgifter

Din uppgift som doktorand blir att bedriva forskning i världsklass inom cybersäkerhet som en del av projektet "Protocol security verification using dynamic key structures" 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.

Dina 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 om vår verksamhet här: 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 pålitlighet, cybersäkerhet, och resursallokering i distribuerade system.

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 så snart som möjligt eller enligt överenskommelse.

Lön och förmåner

Doktorandlönen regleras utifrån en lokalt avtalad lönestege. Ingångslönen för en doktorand är för närvarande 33 900kr/månad. Läs mer om förmåner för anställda här.

Fackliga kontaktpersoner

Information om fackliga kontaktpersoner, se Hjälp för sökande.

Ansökan

Du söker denna anställning genom att klicka på knappen ”Ansök” nedan. Din ansökan ska vara Linköpings universitet tillhanda senast den 27 mars 2025. Ansökan som inkommer efter sista ansökningsdag beaktas inte.