Postdoktor i designmetoder för inbyggda system

KTH svarar för en tredjedel av Sveriges kapacitet av teknisk forskning och ingenjörsutbildning på högskolenivå. Utbildningen och forskningen täcker ett brett område – från naturvetenskap till alla grenar inom tekniken samt arkitektur, industriell ekonomi och samhällsplanering. Totalt finns vid KTH 12 400 helårsstudenter på grundnivå och avancerad nivå, nästan 1900 aktiva forskarstuderande och 5100 anställda.

KTH Informations- och kommunikationsteknik bedriver internationellt framstående forskning och utbildning inom materialfysik, fotonik/optik, elektroniksystem, integrerade komponenter och kretsar samt kommunikationssystem. Vår forskning omfattar både grundläggande och tillämpade projekt samt innehåller betydande inslag av innovativ och entreprenöriell verksamhet. Vårt utbildningsutbud är brett och omfattar kandidat- högskoleingenjörs- och civilingenjörsprogram, masterutbildningar samt doktorsprogram. Skolan har ett nära samarbete med svensk och internationell industri, forskningsinstitut samt intresseorganisationer som Kista Science City.



Arbetsuppgifter

Avdelningen för elektronik och inbyggda system vid KTH informations- och kommunikationsteknik utlyser en postdoktorandtjänst inom designmetoder för inbyggda system med fokus på mixed-criticality system.

I ett mixed-criticality system delar flera tillämpningar med individuella krav på olika nivåer samma plattform. Designprocessen måste säkerställa att alla hårda krav är tillgodosedda i den slutgiltiga implementeringen, trots att tillämpningarna kan interferera med varandra på grund av delade resurser. Dessutom ska prestandan för tillämpningar med mjuka krav optimeras. Utvecklingen av en correct-by-construction designprocess för mixed-criticality system är mycket utmanande och kräver en välgrundad formell bas, en systematisk ansats och utvecklingen av nya metoder och verktyg.

Den utvalda kandidaten kommer vara en del av ForSyDe-gruppen. ForSyDe är en formell designmetod baserad på teoretiska beräkningsmodeller för parallella system och är basen för gruppens aktiviteter i europeiska och nationella forskningsprojekt. ForSyDe omfattar systemmodellering, utforskandet av designalternativ och systemsyntes samt har som mål att skapa en designprocess som är correct-by-construction, från specifikationsmodell till implementeringen på ett multiprocessorsystem på kisel. ForSyDe-gruppen deltar i EU-projektet CONTREX som utvecklar designmetoder och verktyg för inbyggda mixed-criticality system. Den utvalda kandidaten förväntas ta en ledande roll inom CONTREX-aktiviteterna på KTH, framförallt genom utvecklingen av vetenskapliga metoder och verktyg, men också genom interaktion med doktorander och stöd till de administrativa delarna inom CONTREX-projektet. Dessutom förväntas kandidaten vara delaktig i utveckling av nya projektansökningar.

Tjänsten är tidsbegränsad till 1 år med möjlighet till förlängning med ytterligare 1 år. 

Kvalifikationer

Den sökande förväntas inneha doktorsexamen och en god bakgrund inom designmetoder för inbyggda system. Dessutom krävs det både starka analytiska färdigheter och färdigheter i problemlösning samt stor erfarenhet av mjukvaruutveckling, helst inom verktyg för inbyggda system. Kvalifikationer inom följande områden är meriterande: prestandaanalys och utforskning av designalternativ, villkorsprogrammering och andra optimeringsmetoder, system modellering och beräkningsmodeller, kompilatorer och syntesverktyg, funktionell programmering, system-på-kisel och multiprocessorarkitekturer, realtid och mixed-criticality system, deltagandet i ansökningar om forskningsanslag.

Den utvalda kandidaten ska ha utmärkta forsknings- och publiceringsresultat. Väl utvecklade analytiska färdigheter och färdigheter i problemlösning är ett krav. Vi söker en starkt motiverad person som kan arbeta självständigt, liksom inom en forskargrupp. Goda kunskaper i engelska i tal och skrift är nödvändiga för att publicera och presentera forskningsresultat.

Fackliga representanter

Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida. 

Ansökan

Ansökan måste innehålla följande dokument:

- Fullständig meritförteckning inklusive alla dina relevanta akademiska och professionella erfarenheter
- Publikationslista bistår med länkar till fem av dem som är mest relevanta för tjänsten
- Motivationsbrev som beskriver din erfarenhet och professionella intressen och hur din kompetens matchar kraven för den position som annonseras
- Examensbevis och betygskopior från universitets- och forskarstudier
- Kontaktinformation till två referenspersoner
Du ansöker via KTH:s rekryteringsverktyg. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in.

Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time). 

Övrigt

Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.