Postdoktor inom programvarusäkerhet

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 miljarder kronor.




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 information om oss hittar du på https://www.it.uu.se                   

https://uu.se/om-uu/jobba-hos-oss/.

Arbetsuppgifter  
Postdoktorn kommer att utveckla tekniker för att automatiskt analysera, upptäcka och avhjälpa säkerhetsbrister i programvara. Relevanta  tekniker innefattar programanalys, verifiering, symbolisk exekvering, protokolltestning, 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 operativsystem of programvara för IoT (sakernas internet) samt implementeringar av säkerhetsprotokoll.

Undervisning (max 20%) kan komma att ingå.

Miljö
Tjänsterna 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, 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
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 eller en utländsk examen som bedöms motsvara doktorsexamen i de ämnen som nämnts. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga som har avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, etc.

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.

Om anställningen 
Anställningen är tidsbegränsad  i 2 år.  Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala.

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

Välkommen med din ansökan senast den 20 juni 2022, UFV-PA 2022/2133.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.


Ansökan tas emot i Uppsala universitets rekryteringssystem.