Doktorander i datavetenskap

Blekinge Tekniska Högskola, BTH, är en av landets tydligast profilerade högskolor och bedriver utbildning och forskning på hög internationell nivå. Lärandet står i centrum för såväl studenten, läraren som forskaren. Hela Högskolan har fokus på Tillämpad IT och Hållbar utveckling av näringsliv och samhälle. BTH startade 1989 och har 7000 registrerade studenter och knappt 500 anställda. Forskning utgör en tredjedel av verksamheten. BTH har full examinationsrätt inom vetenskapsområdet teknik. BTH finns i Karlskrona, Ronneby och Karlshamn och har ett omvittnat välutvecklat samarbete med näringsliv och samhälle. ARBETSUPPGIFTER Doktorandtjänsternas inriktning är mot pålitliga programvaruintensiva system. Utveckling och underhåll av denna typ av system innefattar metoder och tekniker för stöd av hela livscykeln för kritiska infrastrukturer med inbäddade informationssystem. Exempel på sådana system är framtidens energisystem för förnyelsebara och distribuerade energikällor. Utformning av hållbara skydd av kritiska infrastrukturer är ett växande internationellt FoU-område av stort samhällsbehov. Motsvarande informationssystem (SCADA) är ett exempel på programvaruintensiva system där pålitlighet är en grundkvalitet. Sårbarheter i dagens SCADA-system är ett känt hot mot samhällets infrastrukturer. Doktorandarbetena sker i samverkan med industri och akademi i flera internationella och nationella projekt. Allmän beskrivning av pålitliga programvaruintensiva system Utveckling och underhåll av pålitliga programvaruintensiva system innebär en rad spännande utmaningar. Komplexiteten i dessa system har främst två grundorsaker: (1) interaktionen mellan systemkomponenter är baserad till stor del av återkoppling. Detta ger icke-linjäriteter i exekveringsanalyser (2) Systemkomponenter exekveras i regel i miljöer som inte var kända vid komponentutvecklingen (COTS). Tekniker för statisk analys av programkod är otillräckliga verktyg för att säkerställa pålitlighet av programvarusystem. Det vill säga dynamiska systemkriterier. Vi har därför utvecklad en avancerad och konfigurerbar experimentell miljö för att utveckla och testa grundläggande metoder och mekanismer för att garantera önskvärt beteende hos programvaruintensiva system. Denna experimentella miljö är under utvärdering och utveckling tillsammans med bland annat industriella samarbetsparter. KVALIFIKATIONER Behörighet För tillträde till doktorandanställning krävs att den sökande är eller blir antagen till forskarutbildning.