Forskare inom verifiering och testning av parallella program
Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.
Visa alla datajobb 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 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 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 information om oss hittar du på
https://www.it.uu.se. 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.
https://uu.se/om-uu/jobba-hos-oss/Publiceringsdatum2022-10-06Dina arbetsuppgifterAvdelningen 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,
mailto:
david.black-schaffer@it.uu.seVälkommen med din ansökan senast den 24 oktober 2022, UFV-PA 2022/3450.
Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.
Ansökan tas emot i Uppsala universitets rekryteringssystem.
Varaktighet, arbetstid
100%. Tillträde: Enligt överenskommelse Visstidsanställning till
ErsättningIndividuell lönesättning
Så ansöker duSista dag att ansöka är 2022-10-24
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 2022/3450".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Uppsala Universitet (org.nr 202100-2932)
Arbetsplats Uppsala universitet, Institutionen för informationsteknologi
Jobbnummer 7047671
Observera att sista ansökningsdag har passerat.