Upp till 3 doktorander i inbyggda system

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 45 000 studenter, mer än 7 000 anställda och en omsättning på cirka 7 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 info: http://www.it.uu.se.

Arbetsuppgifter/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
- “Code generation for multi-core platforms”

Anställningen är på högst 5 år och inkluderar institutionstjänstgöring (i huvudsak undervisning) med max 20% samt deltagande i kurser. Den sökande förväntas att undervisa på engelska eller svenska.

Kvalifikationskrav: Sökande måste ha en civilingenjörexamen 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 kommunikationsfärdigheter, både muntliga och skriftliga.

Ansökningsförfarande: Ansökan ska innehålla ett brev (max 3 sidor) där den sökande kort beskriver sig själv, sina forskningsintressen, och motivationen att söka den här tjänsten. 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.

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, mailto:wang.yi@it.uu.se eller Univ.lektor Philipp Rümmer, mailto:philipp.ruemmer@it.uu.se

Välkommen med din ansökan senast den 28 juni 2021, UFV-PA 2021/2190.

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


Ansökan tas emot i Uppsala universitets rekryteringssystem.