arbetsgivarverket.se

Jobba Statligt

Doktorand i datorsystem med inriktn mot verifiering av parallell mjukvara

  • Yrkesroll

    Doktorand

  • Anställning

    Heltid, 6 månader eller längre

  • Lön

    Fast månads- vecko- eller timlön

  • Publicerad

    25 mars

  • Sök jobbet senast

    26 april

Om jobbet

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.

Arbetslivserfarenheter

Arbetsgivaren efterfrågar följande erfarenheter eller kunskaper

Krav
  • Doktorand

Lön

Fast lön

Lönetyp: Fast månads- vecko- eller timlön

Anställningsvillkor

100 %. Tillträde: Snarast Visstidsanställning