Doktorand i datorsystem med inriktn mot verifiering av parallell
Uppsala universitet, Institutionen för informationsteknologi / Högskolejobb / Uppsala
Observera att sista ansökningsdag har passerat.
Visa alla högskolejobb i Uppsala,
Östhammar,
Sigtuna,
Österåker,
Håbo eller i
hela Sverige Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala,
Gotland eller i
hela Sverige 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.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 universitetlektor 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.
Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.
Ansökan tas emot i Uppsala universitets rekryteringssystem.
Varaktighet, arbetstid
100 %. Tillträde: Snarast Visstidsanställning
Publiceringsdatum2021-03-25ErsättningFast lön
Så ansöker duSista dag att ansöka är 2021-04-26
Klicka på denna länk för att göra din ansökanFöretagUppsala universitet, Institutionen för informationsteknologi
Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "UFV-PA 2021/1052".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Uppsala Universitet (org.nr 202100-2932)
Arbetsplats Uppsala universitet, Institutionen för informationsteknologi
Övrig information om företaget/organisationen Offentliga upphandlingar genomförda av Uppsala universitet, Institutionen för informationsteknologi Jobbnummer 5652140
Observera att sista ansökningsdag har passerat.