Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Vi har i dag drygt 350 anställda varav 120 lärare och 120 doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionens webbplats.
Arbetsuppgifter
Forskning, publicering, handledning och eventuellt undervisning.
Forskningsinriktning
Postdoktorn kommer att utveckla tekniker för att testa och rätta fel I implementeringar av kommunikationsprotokoll. Relevanta tekniker innefattar protokolltestning, modellinlärning, fuzzing, symbolisk exekvering, taintanalys, programanalys, och formell verifiering. Viktiga mål är att förbättra effektivitet och skalbarhet hos tekniker för protokolltestning så att de kan tillämpas på realistiska implementeringar.
Miljö
Tjänsten finansieras av Vetenskapsrådet genom projektet Effective Security Testing of Network Protocol Implementations (PI Kostis Sagonas). Forskningsmiljön samlar flera grupper vid Uppsala universitet (Kostis Sagonas, Bengt Jonsson, Parosh Abdulla, Mohammed Faouzi Atig, Wang Yi) som är världsledande inom automatisk verifiering, programspråksimplementering, och testning. Inom tjänstens forskningsområde har denna grupp tidigare utvecklat tekniker för “protocol state fuzzing” och modellinlärning samt verktyg som DTLS-Fuzzer och SMBugFinder. Bland andra verktyg utvecklade av gruppen märks UPPAAL, inflytelserika tekniker och verktyg för testning och verifiering av flertrådad programvara (Concuerror och Nidhugg), såväl som flera verktyg för testning och statisk analys för språket Erlang (Dialyzer och PropEr). Ett relevant tidigare projekt är “aSSIsT: Secure Software for the Internet of Things” (https://assist-project.github.io/), där ytterligare information om tidigare arbeten relevanta för tjänsten återfinns.
Kvalifikationskrav
Doktorsexamen i datavetenskap eller datorteknik eller en utländsk examen som bedöms motsvara doktorsexamen i datavetenskap eller datorteknik. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga som har avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, etc.
Utmärkta kunskaper i engelska, både i tal och skrift, är ett krav.
Ansökan ska innehålla ett brev där den sökande beskriver sig själv, relevanta kvalifikationer, sina forskningsintressen och motivering av önskad forskningsinriktning. Ansökan ska också innehålla en meritförteckning (CV), kopia av relevanta betygshandlingar, en kopia av doktorsavhandling (eller utkast), relevanta publikationer och övriga dokument, relevanta publikationer och övriga dokument. Sökande uppmuntras att ange tidigaste möjliga datum för anställning, samt att bifoga minst 2 rekommendationsbrev och kontaktuppgifter till referenspersoner.
Om anställningen
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde september/oktober 2025 eller enligt överenskommelse. Placeringsort: Uppsala
Upplysningar om anställningen lämnas av: Kostis Sagonas ([email protected]) eller Bengt Jonsson ([email protected])
Välkommen med din ansökan senast den 10 juli 2025, UFV-PA 2025/1694.
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 skillnad i samhället. Vår viktigaste tillgång är alla 7 600 anställda och 53 000 studenter som med nyfikenhet och engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitethttps://uu.se/om-uu/jobba-hos-oss/ Anställningen kan komma att säkerhetsprövas. Vid säkerhetsprövning är en förutsättning för anställning att sökande blir godkänd. Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp. Ansökan tas emot i Uppsala universitets rekryteringssystem.
Anställningsform: tidsbegränsad anställning | Anställningens omfattning: heltid | Antal lediga befattningar: 1 | Sysselsättningsgrad: 100% | Ort: Uppsala | Län: Uppsala län | Land: Sweden | Referensnummer: UFV-PA 2025/1694 | Facklig företrädare: Seko Universitetsklubben [email protected], ST/TCO [email protected], Saco-rådet [email protected], | Publicerat: 2025-06-10 | Sista ansökningsdag: 2025-07-10
