Uppsala universitet, Institutionen för informationsteknologi

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

Arbetsuppgifter: Postdoktorn kommer att utveckla tekniker för att automatiskt analysera, upptäcka och avhjälpa säkerhetsbrister i programvara, och tillämpa dessa tekniker på programvara för komponenter inom IoT. I denna typ av programvara kan säkerhetsbrister utnyttjas och förorsaka stora skador (t.ex. genom att formera angripna IoT-enheter till botnets), varför det är viktigt att programvaran är felfri och tillhandahåller korrekta säkerhetstjänster.

Arbetetet använder och utvecklar tekniker innefattande programanalys, verifiering, symbolisk exekvering, testning mha "fuzzing", "taint analysis", och modellinlärning, med stöd av villkorslösning och SMT. Viktiga mål är att öka sådana teknikers analyskraft och skalbarhet för realistiska kodbaser; i synnerhet att verifiera Contiki, som är ett av de mest använda operativsystemen för IoT.

Miljö: Tjänsterna finansieras av projektet aSSIsT (https://assist-project.github.io/) ett femårigt 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. Dessa grupper står bakom viktiga analysverktyg, såsom UPPAAL, Concuerror och Nidhugg, kompilatorer och programmeringsverktyg för språket Erlang, samt en rad ytterligare resultat som fått stort genomslag. T.ex. har forskare erhållit "CAV (Computer-Aided Verification) Award", den främsta akademiska utmärkelsen inom området, såväl 2013 (Wang Yi) som 2017 (Parosh Abdulla and Bengt Jonsson). Arbetet bedrivs i samarbete med grupper vid RISE SICS (Luca Mottola, Shahid Raza, Thiemo Voigt) som bl.a. utvecklat ConTiki.

Kvalifikationskrav: Den sökande ska ha en doktorsexamen i datavetenskap eller ett liknande ämne, med fokus på en eller flera relevanta områden såsom programanalys, kompilatorteknik, formell verifiering, testning, säkerhet, programvaruteknik, och liknande. Doktorsexamen ska vara avlagd högst tre år före ansökningstidens utgång (perioden kan förlängas med hänsyn till sjukdom, föräldraledighet, o dyl.). Sökanden skall ha goda muntliga och skriftliga kunskaper i engelska.

Bedömningsgrunder: Vid urval bland behöriga sökande kommer stor vikt att fästas vid vetenskaplig skicklighet. Universitetet kommer att främst beakta den som efter en helhetsbedömning av dokumenterade meriter, kompetens och skicklighet bedöms ha de bästa förutsättningarna att självständigt genomföra och utveckla aktuella arbetsuppgifter och bidra till en positiv utveckling av verksamheten inom projektet aSSIsT och institutionen.

Ansökan ska innehålla ett brev där den sökande beskriver sig själv, relevanta kvalifikationer, sina forskningsintressen och motivering av önskad forskningsinriktning. Ansökan ska också innehålla en meritförteckning (CV), kopia av relevanta betygshandlingar, en kopia av doktorsavhandling (eller utkast), relevanta publikationer och övriga dokument, relevanta publikationer och övriga dokument. Sökande uppmuntras att ange tidigaste möjliga datum för anställning, samt att bifoga minst 2 rekommendationsbrev och kontaktuppgifter till referenspersoner.

Uppsala universitet värdesätter de kvaliteter som jämn könsfördelning och mångfald tillför verksamheten. Vi ser därför gärna sökande av alla kön och med olika födelsebakgrund, funktionalitet och livserfarenhet. För närvarande är det fler män än kvinnor bland Postdoktorer inom Teknat. Universitetet eftersträvar en jämnare könsfördelning inom denna kategori.

Lön: Individuell lönesättning tillämpas.

Tillträde: Snarast eller efter överenskommelse.

Anställningsform: Tidsbegränsad anställning i 2 år.

Anställningens omfattning: 100%

Upplysningar om anställningen lämnas av Bengt Jonsson (bengt.jonsson@it.uu.se) eller Kostis Sagonas (kostis@it.uu.se).

Välkommen med din ansökan senast den 25 mars 2019, UFV-PA 2019/568.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde snarast eller enligt överenskommelse
Löneform Fast Lön
Antal lediga befattningar 1
Sysselsättningsgrad 100%
Ort Uppsala
Län Uppsala län
Land Sverige
Referensnummer UFV-PA 2019/568
Facklig företrädare
  • Seko Universitetsklubben, seko@uadm.uu.se
  • ST/TCO, tco@fackorg.uu.se
  • Saco-rådet, saco@uadm.uu.se
Publicerat 2019-02-28
Sista ansökningsdag 2019-03-25

Tillbaka till lediga jobb