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 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 |
|
Publicerat | 2021-06-03 |
Sista ansökningsdag | 2021-06-17 |