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/Projektbeskrivning: Doktoranderna kommer att utveckla tekniker och mjukvaruverktyg för utveckling av pålitliga inbyggda system, särskilt nytt paradigm för att bygga nästa generations säkerhetskritiska inbyggda system som kan uppdateras efter implementering och effektiva och skalbara tekniker för "run-time" resurshantering och säkerhetsvalidering av dynamiska uppdateringar i fältet. Forskningsproblemen innefattar utformning och implementering av deterministiska "multi-thread" realtidssystem, multiprocessor schemaläggning, och verifiering av funktionell och icke-funktionell korrekthet och uppbyggnad av real-world uppdaterbara system.

Forskningsmiljö: Anställningarna finansieras av ERC Advanced Grant som mottagits av Prof Wang Yi från European Research Council (https://erc.europa.eu/). Det finns flera forskargrupper vid Uppsala universitet (Wang Yi, Pontus Ekberg, Philipp Ruemmer, Bengt Jonsson, Parosh Abdulla) som är världsledande inom inbyggda och realtidssystem, och formell verifikation.  Dessa grupper står bakom viktiga analysverktyg, såsom UPPAAL, grundläggande resultat i realtidssystem, tekniker och verktyg för modellering och verifiering samt en rad ytterligare resultat som fått stort genomslag. T.ex. har forskare erhållit "IEEE TCRTS (Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems) Award år 2019 (Wang Yi) och "CAV (Computer-Aided Verification) Award" såväl 2013 (Wang Yi) som 2017 (Parosh Abdulla and Bengt Jonsson), de främsta akademiska utmärkelse inom respektive område.

Kvalifikationskrav: En doktorand ska ha civilingenjörsexamen, magisterexamen eller motsvarande kunskaper i ett ämne som är relevant för forskningsområdet, goda kommunikationsfärdigheter och utmärkta studiemeriter, samt goda färdigheter i engelska i tal och skrift. Det är önskvärt med en god bakgrund inom några av områdena inbyggda system, realtidssystem, och programanalys, formell verifiering, och liknande.

En doktorandanställning ges upp till fem år. Doktoranden ska främst ägna sig åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, ingår inom ramen för anställningen (max 20 %).

Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer http://regler.uu.se/.

Ansökan: 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 examensarbete (åtminstone en sammanfattning), relevanta publikationer och övriga dokument. Sökande uppmuntras att ange tidigaste möjliga datum för anställning, samt att bifoga 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.

Lön: Enligt lokalt kollektivavtal för doktorander.

Tillträde: Enligt överenskommelse.

Anställningsform: Tidsbegränsad anställning enl HF 5 kap § 7.

Anställningens omfattning: 100 %

Upplysningar om anställningen lämnas av: Wang Yi, yi@it.uu.se

Välkommen med din ansökan senast den 10 juni 2019, UFV-PA 2019/1788.

Anställningsform Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde 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/1788
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-05-16
Sista ansökningsdag 2019-06-10

Tillbaka till lediga jobb