Kungliga Tekniska högskolan, EECS-skolan

KTH är ett av Europas ledande tekniska universitet och en viktig arena för kunskapsutveckling. Som Sveriges största universitet för teknisk forskning och utbildning samlar vi studenter, forskare och fakultet från hela världen. Vår forskning och utbildning omfattar såväl naturvetenskap som alla grenar inom teknik samt arkitektur, industriell ekonomi, samhällsplanering, teknisk historia och filosofi.

Arbetsuppgifter

Avdelningen för elektronik utlyser en doktorandtjä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 inverka på 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 utveckling av nya metoder och verktyg.

Den utvalda kandidaten kommer att vara en del av ForSyDe-gruppen. ForSyDe är en formell systemdesignmetod 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 automatiserad designprocess som är correct-by-construction, från specifikationsmodell till implementering på ett multiprocessorsystem på kisel. Sökanden ska delta i utvecklingen av designprocessen som involverar samarbete med nationella och internationella partners.

Aktiviteter och ansvar

Anställningen är i fem år, där 80% av tiden normalt går till doktorandstudier och upp till 20% till avdelningsuppgifter som normalt innebär deltagande i undervisning. En anställning som doktorand vid KTH erbjuder utmärkta villkor med konkurrenskraftiga löner, hälsovård, och bidrag till pensionsfonder.

Kvalifikationer

Den sökande ska ha:

  • Masterexamen inom datalogi, datorteknik, elektroteknik, eller motsvarande.
  • Mycket goda analytiska och programmeringsfärdigheter.
  • God kommunikationsförmåga i engelska, både skriftligt och muntligt.

Den ideala sökanden har även kunskap inom ett eller flera av följande områden:

  • Systemmodellering, syntesverktyg och kompilatorer, funktionell programmering, hardware/software co-design, FPGA kretsar, programvara för inbyggda system, design av inbyggda system och realtidssystem.

Utöver tekniska, analytiska och matematiska färdigheter förväntas den sökande vara nyfiken, ambitiös och mycket motiverad att arbeta med forskning. Sökanden ska vara van vid att arbeta på ett strukturerat sätt och kunna arbeta både individuellt och i grupp.

Fackliga representanter

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

Ansökan

Ansökan ska skickas på engelska och måste innehålla följande dokument:

  • Följebrev: en sammanfattning av ansökan på en sida.
  • CV: ett dokument på upp till fyra (4) sidor innehållande alla dina relevanta akademiska, professionella och andra prestationer, din erfarenhet och kunskap
  • Betyg och examina: officiella dokument från dina tidigare utbildningar på universitetsnivå, med auktoriserade översättningar på engelska (om de inte utställdes på engelska av den utfärdande institutionen).
  • Rekommendationsbrev: Vänligen skicka minst två (2) rekommendationsbrev tillsammans med din ansökan. Vänligen inkludera även detaljerad kontaktinformation för minst två (2) referenspersoner (inklusive de två som lämnar referensbrev).
  • Ansökningsbrev: Vänligen ange varför du vill fullfölja en doktorsexamen, vilka är dina akademiska intressen, hur de förhåller sig till dina tidigare studier och framtida mål. Maximalt två (2) sidor långt.
  • Relevanta publikationer eller tekniska rapporter: Ange upp till två (2) dokument, inte längre än tio (10) sidor var. För längre dokument (t.ex. avhandlingar), bifoga en sammanfattning (abstract) och en webblänk till den fullständiga texten.

Du ansöker via KTH:s rekryteringssystem. 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.

Anställningsform Visstidsanställning längre än 6 månader
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Månadslön
Antal lediga befattningar 1
Sysselsättningsgrad 100%
Ort Kista
Län Stockholms län
Land Sverige
Referensnummer J-2018-0266
Kontakt
  • Ingo Sander, Professor , ingo@kth.se
  • Sarah Kullgren, HR Handläggare, sarahku@kth.se
Publicerat 2018-02-22
Sista ansökningsdag 2018-04-09

Tillbaka till lediga jobb