Doktorand inom datavetenskap

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!
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.

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.

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.  

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. Ingångslönen för en doktorand är för närvarande 31 500kr/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 10 oktober, 2023. Ansökan som inkommer efter sista ansökningsdag beaktas inte.

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.