Doktorand i datorsystem

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 45 000 studenter, mer än 7 000 anställda och en omsättning på cirka 7 miljarder kronor.




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 http://www.it.uu.se.

https://uu.se/om-uu/jobba-hos-oss/

Arbetsuppgifter
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 https://regler.uu.se/?languageId=3.

Om anställningen 
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde så snart som möjligt eller efter överenskommelse. Placeringsort: Uppsala.

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

Välkommen med din ansökan senast den 17 december 2021, UFV-PA 2021/4448.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.


Ansökan tas emot i Uppsala universitets rekryteringssystem.