Uppsala universitet, Institutionen för informationsteknologi

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, parosh@it.uu.se.

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

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde Så snart som möjligt eller enligt överenskommelse.
Löneform Individuell lönesättning
Antal lediga befattningar 1
Sysselsättningsgrad 100%
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2021/543
Facklig företrädare
  • Seko Universitetsklubben, seko@uadm.uu.se
  • ST/TCO, tco@fackorg.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2021-02-11
Sista ansökningsdag 2021-02-25

Tillbaka till lediga jobb