Doktorand i Datalogi

Arbetsuppgifter: Vi söker en doktorand för att påbörja arbete inom området säkerhet och analys av feltolerans i följande projekt:
Dagens trend i framtagning av säkerhetskritiska system bygger på flexibla och effektiva lösningar där systemet består av sammanslagning av modulära komponenter. Digitala komponenter kan implementeras i programvara eller programmerbar hårdvara med väldefinierade gränssnitt för komposition där för- och efteranalys av det integrerade systemet är önskvärd. En stor utmaning är att analysera systemets säkerhet- och feltoleransegenskaper från de egenskaper som tillhandahålls via komponenterna. För att formellt (matematiskt) analysera dessa egenskaper behövs verktyg och metoder för både kvalitativ och kvantitativ analys. Denna position kräver en stark matematisk bakgrund inkl. diskret matte och probabilistisk modellering, så väl som programmeringsfärdigheter och analytiskt tänkande.

Behörighet: Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning.

För denna tjänst krävs utöver grundexamen inom något av områdena datavetenskap, datateknik, eller informationsteknologi följande:
- relevanta kurser med bra betyg i områden som berör forskningsområdet
- god skriftlig och muntlig färdighet i engelska
- erfarenhet av att arbeta självständigt samt delta i team-arbete
Tidigare forskningserfarenhet tex som del av Mastersexamensprojekt betraktas som en merit.



Lika villkor: Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.

Flertalet av våra doktorander inom institutionen är män, varför kvinnor ges företräde vid tillsättning av denna anställning, vid i huvudsak lika meriter i övrigt.