Kungliga Tekniska högskolan,

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, historia och filosofi.

Avdelningen för Reglerteknik vid KTH Skolan för Elektroteknik och Datavetenskap bedriver forskning inom nätverksbaserade styrsystem, robotteknik, kommunikationssystem, systembiologi och systemidentifiering. Stor del av forskningen bedrivs inom EU-projekt, liksom inom de två centra CAS och ACCESS Linnaeus Centre som främjar samarbete mellan olika avdelningar. Avdelningen har också starkt ekonomiskt stöd från den svenska Stiftelsen för Strategisk Forskning, från Knut och Alice Wallenberg Stiftelse och från Vetenskapsrådet.

Arbetsuppgifter
Vi söker efter postdoktorer i hybrida styrning av robotik system. Den utvalda sökande kommer att delta i en forskargrupp som fokuserar på nya konstruktionsmetoder för hybrida system med hjälp av reglerteknik teori, maskininlärning och formella metoder från datavetenskap. Tjänsten är relaterad till följande ämnen:

Distribuerad styrning från temporal logik specifikationer: att utveckla metoder för styrning av multi-agent system att uppfylla temporal logik specifikationer från formell verifikation. För att kunna kombinera distribuerad styrning med formella metoder, diskreta abstraktioner av distribuerade multi-agent system ska utvecklas och agenter som är beroende av varandra ska överväggas.

Human-in-the-loop robot styrning: att utveckla en hybrid systems formulering till problemet där människan ger logiska specifikationer till robot systemet som är översatt till styrning kommandon. Interaktionen mellan människan och robot systemet går i båda riktningarna d.v.s. att människan ska ändra specifikationen och robot styrning ska anpassa sig till förändringen i realtid genom maskininlärning metoder.

Multi-robot koordination och manipulering: att utveckla styrning och uppgift planering metoder för heterogena multi-robot system med olika kapaciteter. Robotarna kan ha olika dynamiska begränsningar och kan eller kan inte ha manipulatorer.

Händelse-baserad styrning av multi-agent-system: att utveckla distribuerade händelsesdrivna strategier för resurseffektiv styrning och samordning av multi-agent-system. Dynamiken hos varje agent kan modelleras av ett olinjärt dynamiskt system med begränsad kontroll och kommunikationsförmåga.

De utvalda kandidaterna förväntas att bedriva forskning inom ovannämnda forskningsområden, att interagera med doktorander och masterstudenter, och vara delaktig i samarbeten i olika nationella och internationella projekt.

Kvalifikationer
Sökande ska ha avlagt doktorsexamen eller vara nära doktorsexamen inom EE, CS eller motsvarande. Doktorsexamen ska ha avlagts högst tre år före sista ansökningsdag. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare (t ex vid sjukdom, föräldraledighet m.fl.).

Sökande bör ha en stark bakgrund inom minst ett av följande områden

– hybrida styrsystem,

– händelse-baserad styrning av multi-agent-system

– distribuerad multi-robot styrning,

– formella metoder för robot styrsyntes,

– lärning-baserad multi-robot styrning.

Tidigare medverkan i EU-projekt, skrivit förslag, liksom erfarenhet med riktiga robot plattformar kommer att betraktas som en merit.

Den utvalda kandidaten skall 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 ska innehålla följande:

  1. Fullständig meritförteckning inklusive alla dina relevanta akademiska och professionella erfarenheter
  2. Publikationslista som anger och tillhandahåller länkar till fem av dem som är mest relevanta för positionen
  3. Forskningsplan, max 2 sidor lång
  4. Kontaktinformation till två referenspersoner

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
Jämställdhet, mångfald och avståndstagande från alla former av diskriminering är både en kvalitetsfråga och en självklar del av KTH:s värdegrund.

För information om Behandling av personuppgifter i samband med rekrytering läs mer här.

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

Anställningsform Tillsvidareanställning
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Månadslön
Antal lediga befattningar 2
Sysselsättningsgrad 100 %
Ort Stockholm
Län Stockholms län
Land Sverige
Referensnummer J-2019-0449
Kontakt
  • Felicia Gustafsson, HR Administratör, rekrytering@eecs.kth.se
  • Dimos Dimarogonas, Professor, dimos@kth.se
Publicerat 2019-02-13
Sista ansökningsdag 2019-03-15

Tillbaka till lediga jobb