Uppsala universitet, Institutionen 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

Miljö: Tjänsten finansieras av projektet aSSIsT (https://assist-project.github.io/) ett forskningsanslag från SSF (Stiftelsen för Strategisk forskning) i samarbete mellan forskargrupper vid Uppsala universitet (Bengt Jonsson, Parosh Abdulla, Mohammed Faouzi Atig, Philipp Ruemmer, Kostis Sagonas, Wang Yi) som är världsledande inom automatisk verifiering, programspråksimplementering, och testning.

Arbetsuppgifter: Hjälpa till i projekt om säkerhetstestning av kommunikationsprotokoll. Inom ramen för projekt aSSIsT, som finansieras av SSF, bedrivs forskning för att analysera säkerheten hos kommunikationsprotokoll. Tjänsten kommer att bidra till utveckling  och användning av tekniker för att testa säkerhetsprotokoll med tekniker baserade på protokolltestning och automata-inlärning.

Kvalifikationskrav: Kandidaten ska ha kandidatexamen inom datavetenskap eller avklarade kurser av motsvarade omfattning och  ha kunskaper eller erfarenhet av protokollestning eller automata-inlärning.

Lön: Individuell lönesättning.

Tillträde: Snarast eller enligt överenskommelse.

Anställningsform: Tidsbegränsad anställning t.o.m. 2 månader.

Anställningens omfattning: 50%

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

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

Anställningsform Visstidsanställning (kortare än 3 månader)
Anställningen avslutas 2020-09-15
Anställningens omfattning Deltid
Tillträde Snarast
Löneform Individuell lönesättning
Antal lediga befattningar 1
Sysselsättningsgrad 50%
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2020/2421
Facklig företrädare
  • Seko Universitetsklubben, seko@uadm.uu.se
  • ST/TCO, tco@fackorg.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2020-06-18
Sista ansökningsdag 2020-07-03

Tillbaka till lediga jobb