Uppsala universitet, Instituionen 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 280 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: Det övergripandet ämnet för doktorandtjänsterna är att utveckla tekniker för verifiering, testing, och analys av säkerhetsbrister i programvara. Tekniker för att säkerställa att programvara inte innehåller fel och säkerhetsbrister är mycket viktiga, eftersom sådana brister kan utnyttjas för att orsaka stor skada på viktiga datorsystem. Relevanta tekniker innefattar programanalys, verifiering, symbolisk exekvering, testning med hjälp av "fuzzing", "taint analysis" och modellinlärning, med stöd av villkorslösning och SMT. Viktiga mål är att öka sådana teknikers analyskraft och skalbarhet för realistiska program, i synnerhet parallella eller inbyggda sådana, såväl program som används inom IoT (sakernas internet).

Miljö: Tjänsterna finansieras av ett flertal projekt: Projekt finansierade av VR (vetenskapsrådet) och KAW (Knut och Alice Wallenbergs stiftelse) stödjer utveckling av tekniker för verifiering och testning av parallella och inbyggda program, samt för design och analys av inbyggda system som tillåter uppdateringar. Inom projektet aSSIsT (https://assist-project.github.io/), finansierat av SSF (Stiftelsen för Strategisk forskning) utvecklas tekniker för analys av säkerhetsbrister i programvara. Arbetet kommer att bedrivas i en miljö som sammanför forskargrupper vid Uppsala universitet (Bengt Jonsson, Parosh Abdulla, Mohammed Faouzi Atig, Philipp Ruemmer, Kostis Sagonas, Thiemo Voigt, Luca Mottola, Wang Yi) som är världsledande inom automatisk verifiering, programspråksimplementering, testning, nätverk och inbyggda system, och drönare. Dessa grupper står bakom viktiga analysverktyg, såsom UPPAAL, Concuerror och Nidhugg, kompilatorer och programmeringsverktyg för språket Erlang, samt en rad ytterligare resultat som fått stort genomslag.

En doktorandanställning ges upp till fem år. Doktoranden ska främst ägna sig åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, ingår inom ramen för anställningen (max 20 %).

Kvalifikationskrav: En doktorand ska ha civilingenjörsexamen, magisterexamen eller motsvarande kunskaper i ett ämne som är relevant för forskningsområdet, goda kommunikationsfärdigheter och utmärkta studiemeriter, samt goda färdigheter i engelska i tal och skrift.

Önskvärt/meriterande i övrigt: Det är önskvärt med en god bakgrund inom några av områdena programanalys, kompilatorteknik, formell verifiering, testning, säkerhet, programvaruteknik, och liknande.

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 examensarbete (åtminstone en sammanfattning), relevanta publikationer och övriga dokument. Sökande uppmuntras att ange tidigaste möjliga datum för anställning, samt att bifoga rekommendationsbrev och kontaktuppgifter till referenspersoner.

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer http://regler.uu.se/.

Lön: Enligt lokalt kollektivavtal för doktorander.

Tillträde: Snarast.

Anställningsform: Tidsbegränsad anställning enl HF 5 kap § 7.

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av: Bengt Jonsson, bengt.jonsson@it.uu.se

Välkommen med din ansökan senast den 31 juli 2020, UFV-PA 2020/2536.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde Snarast
Löneform Fast lön
Antal lediga befattningar 3
Sysselsättningsgrad 100 %
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2020/2536
Facklig företrädare
  • ST/TCO, tco@fackorg.uu.se
  • Seko Universitetsklubben, seko@uadm.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2020-06-22
Sista ansökningsdag 2020-07-31

Tillbaka till lediga jobb