Forskare inom verifiering och testning av parallella program - Under tillsättning eller tillsatt, ej sökbar

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 information om oss hittar du på institutionen för informationsteknologis webbplats.     

Forskartjänsten erbjuds av institutionens avdelning för datorteknik, som bedriver världsledande forskning inom ett brett spektrum av ämnen relaterade till algoritmisk verifiering, kommunikationsforskning, datorarkitektur och inbyggda system. Avdelningen har cirka 55 anställda, varav 10 professorer, 8 universitetslektorer, 8 forskare och postdoktorer samt 25 doktorander.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet.

Arbetsuppgifter
Avdelningen för datorteknik strävar efter att stärka sin kärnforskningsverksamhet genom rekrytering av en forskare. Vi söker en forskare med stort intresse för verifiering och testning av parallella program. Närmare bestämt inkluderar målen att etablera den nödvändiga teoretiska grunden för verifiering och testning av samtidiga program, designa grundläggande metoder och verktyg som utökar den senaste tekniken, och genomföra en betydande implementeringsansträngning för att producera verifieringsverktyg som kommer att köras på riktiga program. Handledning av doktorander och examensarbeten inom området ingår också i arbetsuppgifterna, samt visst engagemang i forskningsprojekt inom gruppen Algorithmic Program Verification (för mer information om forskningsgruppens inriktning, se https://www .it.uu.se/research/docs/fm/apv ).

Forskartjänsten är tidsbegränsad på högst ett år och kan innehålla viss undervisning (högst 20 %).

Kvalifikationskrav
Doktorsexamen inom datavetenskap, datateknik eller motsvarande. En framgångsrik kandidat bör ha en god forskningserfarenhet inom "model-checking", formell verifiering, och och resonemang om svagt minne, samt vara skicklig i att bygga mjukvarusystem och verktyg. Den sökande ska ha goda kunskaper i engelska i tal och skrift.

Om anställningen 
Anställningen är tidsbegränsad, 12 månader. Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

Upplysningar om anställningen lämnas av: David Black-Schaffer, 018-471 6830,
david.black-schaffer@it.uu.se

Välkommen med din ansökan senast den 24 oktober 2022, UFV-PA 2022/3450.