Kungliga Tekniska högskolan,

Arbetsuppgifter
Vi söker en till två postdoktorer inom hybrida styrning av robotik system. De 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 för att uppfylla temporal logik specifikationer från formell verifikation. För att kunna kombinera distribuerad styrning med formella metoder, bör diskreta abstraktioner av distribuerade multi-agent system ska utvecklas och agenter som är beroende av varandra ska övervägas.

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

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

De utvalda kandidaterna förväntas att bedriva forskning inom ovannämnda forskningsområden, att interagera med doktorander och mastersstudenter samt vara delaktig i samarbeten i olika nationella och internationella projekt. Positionen är kopplad till H2020 EU Projekt Co4Robots, http://www.co4robots.eu/, och SSF Smart System projekt COIN, http://www.coinssf.se/ som är relaterat till ämnena ovan. 

Kvalifikationer
Sökande ska ha doktorerat (eller vara nära avslutning) inom minst ett av följande forskningsområden:

- hybrida styrsystem,

- distribuerad multi-robot styrning,

- formella metoder för robot styrsyntes,

- lärning-baserad multi-robot styrning.

Tidigare medverkan i EU-projekt, förslag skrivförmåga, liksom erfarenhet med riktiga robotplattformar kommer att betraktas som en merit.

De utvalda kandidaterna 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 starkt motiverade personer, 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.

Vi kommer att lägga stor vikt vid personlig lämplighet.

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

Ansökan
Ansökan ska innehålla följande:

  • CV inklusive relevanta professionella erfarenheter och kunskaper.
  • Kopior av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om originaldokumenten inte är utfärdade på ett av dessa språk. 
  • Kortfattad redogörelse om varför du vill bedriva forskning, om dina akademiska intressen och hur relaterar de till dina tidigare studier och framtida mål; max 2 sidor lång.
  • Representativa publikationer eller tekniska rapporter: Dokument inte längre än 10 sidor vardera. För längre dokument (t.ex. avhandlingar), bifoga en sammanfattning (abstract) och en webblänk till den fullständiga texten.
  • Minst två rekommendationsbrev
  • Kontaktinformation till två referenspersoner. Vi förbehåller oss rätten att kontakta referenser endast för utvalda kandidater.

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 Tidsbegränsad anställning
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Månadsvis
Antal lediga befattningar 1
Sysselsättningsgrad 100%
Ort Stockholm
Län Stockholms län
Land Sverige
Referensnummer J-2019-1515
Kontakt
  • Felicia Gustafsson, rekrytering@eecs.kth.se
  • Dimos Dimarogonas, dimos@kth.se
Publicerat 2019-06-03
Sista ansökningsdag 2019-08-15

Tillbaka till lediga jobb