Doktorand inom datavetenskap
Linköpings universitet / Högskolejobb / Linköping
2023-03-28
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 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 bland annat tack vare 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/idaVi söker nu en doktorand inom datavetenskap med inriktning mot formell säkerhetsanalys.
Publiceringsdatum2023-03-28ArbetsuppgifterDin 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
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.
KvalifikationerDu 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 i augusti 2023, eller tidigare 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 kontaktInformation om fackliga kontaktpersoner, se Hjälp för sökande.
Så ansöker duDu söker denna anställning genom att klicka på knappen "Ansök" nedan. Din ansökan ska vara Linköpings universitet tillhanda senast den 9 maj, 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-05-09
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 Universitetslektor
Mikael Asplund
mikael.asplund@liu.se None Jobbnummer 7596939
Observera att sista ansökningsdag har passerat.