Forskare - Under tillsättning eller tillsatt, ej sökbar

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.