Forskare i verifiering av system med icke-flyktiga minnen

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 i dag ca 300 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se.

Arbetsuppgifter/projektbeskrivning: Forskningsarbetet kommer huvudsakligen att koncentreras till design och implementering av metoder för att analysera system som innehåller icke-flyktiga minneskomponenter.

Icke-flyktiga minnen (NVRAM) erbjuder det bästa av två världar, nämligen primärminnets låga latens och uthålligheten av långsiktig lagring. En viktig uppgift för programmerare när de  använder NVRAM är att säkerställa korrekt återhämtning, dvs, att se till att programmet återgår till ett stabilt tillstånd efter en systemkrasch. Naivt skulle man kunna tro att korrekt återhämtning skulle vara lätt. Detta är emellertid inte sant, eftersom tillståndet hos minnet kanske inte överensstämmer med det tillstånd som förväntas av programmet. Anledningen är att skrivoperationer lagras (dvs bli permanent hållbara) i en ordning som kan skilja sig från den ordning i vilken  de utfärdas av programmet. Omordningen av operationerna ger upphov till en s.k. uthållighetsmodell som föreskriver i vilken ordning operationerna kan lagras.

Moderna mjukvarusystem körs ofta på parallella maskiner. När vi exekverar parallella program på NVRAM måste vi även ta hänsyn till den konsistensmodell som definieras av processorn. Konceptuellt liknar uthållighet och konsistens varandra eftersom även det senare definieras i termer av läs- och skriv-operationer som omordnas av processorn. Kombinationen av uthållighet och konsistens resulterar i komplicerade programbeteenden, och innebär svåra utmaningar för vilka vi för närvarande saknar lösningar.

Målet med detta projek är att utveckla metoder, algoritmer och verktyg för verifiering av program som körs på system som ger upphov till både uthållighet och konsistens.

Visst deltagande i undervisning och handledning av studenter (inklusive doktorander) kan inkluderas i arbetsuppgifterna (max 20 %).

Kvalifikationskrav: Doktorsexamen i datavetenskap eller datorteknik, samt dokumenterad flerårig erfarenhet av forskning inom verifiering av parallella systems krävs. Vi kräver god kunskap om parallella program och svaga minnesmodeller.

Vi kräver att du kan god engelska i både tal och skrift.

Önskvärt/meriterande i övrigt:Erfarenhet av undervisning och handledning av studenter inom närliggande områden, skrivning av offentliga forskningsförslag, peer review samt erfarenhet av att samordna akademiska evenemang uppskattas.

Personliga egenskaper som en stark motivation för kvalitetsarbete och prestanda samt förmågan att leda och driva tvärfunktionella forskningsprojekt i samarbete med andra forskare och studenter är mycket viktigt. Sökande bör vara målmedvetna, strukturerade och kunna arbeta effektivt både individuellt och i grupp.

Instruktioner för ansökningsförfarande: Din ansökan bör vara skriven på engelska och innehålla:

- Introduktionsbrev och beskrivning på tidigare forskningserfarenhet
- Curriculum Vitae
- Kopior på examensbevis
- Fullständig publikationslista inkluderande URL/DOI till var och en av publikationerna
- Kontaktinformation till minst två referenspersoner varav åtminstone en till nuvarande eller tidigare chef samt ett rekommendationsbrev.

Lön: Individuell lönesättning.

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

Anställningsform: Tidsbegränsad anställning 1 år.

Anställningens omfattning: 100%

Upplysningar om anställningen lämnas av:  professor Parosh Abdulla, mailto:parosh@it.uu.se.

Välkommen med din ansökan senast den 25 februari 2021, UFV-PA 2021/543.

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


Ansökan tas emot i Uppsala universitets rekryteringssystem.