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: Hjälpa till i projekt om säkerhetstestning av kommunikationsprotokoll. Inom ramen för projekt aSSIsT, som finansieras av SSF, bedrivs forskning för att analysera säkerheten hos kommunikationsprotokoll. Tjänsten kommer att bidra till utveckling och användning av tekniker för att testa säkerhetsprotokoll med tekniker baserade på protokolltestning och automata-inlärning.
Kvalifikationskrav: Kandidaten ska ha kandidatexamen inom datavetenskap eller avklarade kurser av motsvarade omfattning och ha kunskaper eller erfarenhet av protokollestning eller automata-inlärning.
Lön: Individuell lönesättning.
Tillträde: Snarast eller enligt överenskommelse.
Anställningsform: Tidsbegränsad anställning t.o.m. 2 månader.
Anställningens omfattning: 50%
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/2421.
Anställningsform | Visstidsanställning (kortare än 3 månader) |
---|---|
Anställningen avslutas | 2020-09-15 |
Anställningens omfattning | Deltid |
Tillträde | Snarast |
Löneform | Individuell lönesättning |
Antal lediga befattningar | 1 |
Sysselsättningsgrad | 50% |
Ort | Uppsala |
Län | Uppsala län |
Land | Sverige |
Referensnummer | UFV-PA 2020/2421 |
Facklig företrädare |
|
Publicerat | 2020-06-18 |
Sista ansökningsdag | 2020-07-03 |