Denna annons är inte tillgänglig!
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 |
|
Publicerat | 2020-06-18 |
Sista ansökningsdag | 2020-07-03 |