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: Forskning ang. tekniker för säkerhetstestning av kommunikationsprotokoll. Inom institutionen bedrivs forskning med analysera säkerheten hos kommunikationsprotokoll och programvara i sakernas Internet, speciellt inom projektet aSSIsT som finansieras av SSF. Tjänsten kommer att utveckla tekniker och verktyg  baserade på svartlådetestning och automata-inlärning för att testa säkerhetsegenskaper hos kommunikationsprotokoll.

Kvalifikationskrav: Kandidaten ska ha en doktorsexamen inom datavetenskap, och ha mycket goda kunskaper och erfarenhet av forskning inom protokolltestning och automata-inlärning.

Lön: Individuell lönesättning.

Tillträde: 2020-09-17 eller enligt överenskommelse.

Anställningsform: Tidsbegränsad anställning i ett år.

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 3 juli 2020, UFV-PA 2020/2420.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde 2020-09-17
Löneform Individuell lönesättning.
Antal lediga befattningar 1
Sysselsättningsgrad 100%
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2020/2420
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