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 300 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: 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.

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.

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: 2021-09-17 eller enligt överenskommelse.

Anställningsform: Tillsvidareanställning 12 månader.

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 17 juni 2021, UFV-PA 2021/2373.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde 2021-09-17 eller enligt överenskommelse
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 2021/2373
Facklig företrädare
  • Seko Universitetsklubben, seko@uadm.uu.se
  • ST/TCO, tco@fackorg.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2021-06-03
Sista ansökningsdag 2021-06-17

Tillbaka till lediga jobb