Uppsala universitet, Institutionen för informationsteknologi

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har 46.000 studenter, 7.300 anställda och en omsättning på 7,3 miljarder kronor.

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 Visstidsanställning längre än 6 månader
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