Upp till fem doktorandtjänster i inbyggda system

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med 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 46.000 studenter, 7.300 anställda och en omsättning på 7,3 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 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.

Projektbeskrivning: Funktionaliteten och det ekonomiska värdet hos dagens industriella system och produkter, såsom bilar, flygplan, drönare och medicintekniska produkter, definieras och realiseras av programvara som ett inbyggt system. En central utmaning i utformningen av sådana system är förmågan att uppdatera programvara: att lägga till nya funktioner, anpassa ett system eller åtgärda säkerhetsproblem. Uppsala universitet startar nu två nya spännande projekt som fokuserar på nästa generations inbäddade system som måste designas för att kunna uppdateras: ERC-projektet CUSTOMER, och projektet UPDATE som finansieras av Wallenbergstiftelserna. Projekten samlar världsledande forskargrupper inom flera områden som är centrala för utveckling och implementering av inbyggda system: distribuerade trådlösa system, verifiering och testning, samt inbyggda system.

Projekten syftar särskilt till att utveckla följande: en ny systemarkitektur för inbyggda system som stödjer förmågan att distribuera och installera inkrementella uppdateringar, så att komponenter kan integreras och uppdateras sömlöst, samtidigt som systemets deterministiska beteende garanteras; skalbara metoder och verifieringsverktyg som på realistiska system automatiskt verifierar att uppdateringar bevarar och garanterar säkerhetsegenskaper; effektiva schemaläggningsalgoritmer för optimalt resursutnyttjande på dagens datorplattformar för att möjliggöra dynamiska uppdateringar; robusta protokoll och körtidstekniker för säker distribution och underhåll av verifierade och accepterade uppdateringar även i säkerhetskritiska miljöer som drönare.

Vi letar därför efter motiverade doktorander inom följande områden:

- Systemarkitekturer för inbäddade system
- Modellering och verifiering
- Realtidsschemaläggning

Arbetsuppgifter: En doktorandanställning ges upp till fem år. Doktoranden ska främst ägna sig åt den egna forskarutbildningen, vilken omfattar fyra års heltidsstudier. Huvuddelen av forskarutbildningen består av forskning i ett specifikt ämne, men innebär även att man genomgår forskarutbildningskurser. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, ingår inom ramen för anställningen (max 20 %).

Kvalifikationskrav: Sökande måste ha en civilingenjör i datavetenskap eller elektroteknik, eller motsvarande. För att komma ifråga är det önskvärt med en solid bakgrund inom minst ett av de områden som nämns ovan. Vad gäller alla doktorander krävs ett genuint intresse och nyfikenhet i ämnet samt analys- och bra kommunikationsförmåga på engelska, både muntlig och skriftlig, är ett krav.

Ansökningsförfarande: Ansökan ska innehålla ett brev (max 3 sidor) där den sökande kort beskriver sig själv och sina forskningsintressen. Ansökan ska dessutom innehålla CV, kopior av examensbevis och betyg (översatta till svenska eller engelska), examensarbete (eller sammanfattning om arbetet pågår) kopia på alla publikationer som kandidaten varit med och skrivit med beskrivning av kandidatens specifika bidrag, samt ev. andra relevanta dokument. Dessutom ska sökanden tillhandahålla max. 3 rekommendationsbrev och kontaktinformation till referenspersoner samt ange tidigast möjliga anställningsdatum.

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

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

Tillträde: Snarast eller enligt överenskommelse.

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

Anställningens omfattning: 100 %.

Upplysningar om anställningen lämnas av: Prof. Wang Yi, E-mail: wang.yi@it.uu.se; eller Prof. Philipp Ruemmer, E-mail: philipp.ruemmer@it.uu.se.

Välkommen med din ansökan senast den 4 december 2020, UFV-PA 2020/4059.

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


Ansökan tas emot i Uppsala universitets rekryteringssystem.