Doktorand inom datavetenskap

Linköpings universitet / Högskolejobb / Linköping
2023-08-29
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand inom datavetenskap" (publicerad 2023-10-18) ⬅️


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!
Vi söker nu en doktorand inom datavetenskap med inriktning mot formell säkerhetsanalys.

Publiceringsdatum
2023-08-29

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.

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.

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

Så ansöker du
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 26 september, 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.

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

Så ansöker du
Sista dag att ansöka är 2023-09-26
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
8070206

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: