Postdoktor inom protokolltestning

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 (kostis@it.uu.se) eller Bengt Jonsson (bengt.jonsson@it.uu.se)

Välkommen med din ansökan senast den 10 juli 2025, UFV-PA 2025/1694.