Doktorand i datorsystem med inriktning mot verifiering av parallell mjukvara - Under tillsättning eller tillsatt, ej sökbar

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har drygt 300 anställda, varav 120 seniora forskare, 110 doktorander och 30 forskargrupper. Mer än 4000 studenter är registrerade på en eller flera kurser varje år. För mer information, se www.it.uu.se.


Arbetsuppgifter/Projektbeskrivning: Samtidiga program är i allt högre grad närvarande på olika nivåer inom datorsystem, från distribuerade applikationer för stora nätverk, till grundläggande programvara som körs på flerkärniga processorer. Design och utveckling av samtidiga system för med sig många utmaningar på grund av de komplexa beteenden som samspelet mellan deras komponenter orsakar. Det är därför mycket viktigt att utveckla formella metoder för att automatiskt kontrollera deras korrekthet med avseende på en specifikation. Målet för denna avhandling är att utforma grundläggande metoder och verktyg som utökar state-of-the-art i verifieringen av parallella program. För att uppnå detta krävs för det första en nödvändig teoretisk grund, och för det andra en omfattande implementationsinsats för att producera verifieringsverktyg som kan köras på riktiga program.

Anställningen är upp till fem år och omfattar institutionstjänstgöring på en nivå av högst 20% (vanligtvis undervisning) samt kursstudier. Du förväntas kunna undervisa på svenska eller engelska.

Kvalifikationskrav: Den sökande skall ha magisterexamen, civilingenjörsexamen inom datavetenskap eller motsvarande kunskaper, helst med en stark bakgrund inom teori (automater, logik, algoritmer, etc.) och goda kunskaper i programmering. Goda kunskaper i talad och skriven engelska är ett krav.

Önskvärt/meriterande i övrigt: Praktisk erfarenhet av mjukvaruutveckling (inklusive verktygsprototyputveckling) är ett plus.

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer.

Lön: Enligt lokalt kollektivavtal för doktorander.

Tillträde: Så snart som möjligt eller enligt överenskommelse.

Anställningsform: Tidsbegränsad anställning enl HF 5 kap § 7.

Anställningens omfattning: 100 %.

Upplysningar om anställningen lämnas av: Professor Parosh Aziz Abdulla 018-471 31 63, parosh@it.uu.se eller universitetslektor Mohamed Faouzi Atig, 018-471 31 59 , mohamed_faouzi.atig@it.uu.se.

Välkommen med din ansökan senast den 26 april 2021, UFV-PA 2021/1052.