Postdoktorer inom hybrida styrning av robotik system

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.



Avdelningen för reglerteknik vid KTH Skolan för Elektro- och Systemteknik 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.

Projektbeskrivning

Vi söker efter postdoktorander i hybrida styrning av robotik system. Den utvalda sökanden kommer att delta i en forskargrupp som fokuserar på nya konstruktionsmetoder för hybrida system med hjälp av reglerteknik teori, maskinilä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 dvs 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.

Den utvalda kandidaten 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. Positionen är kopplad till H2020 EU Projekt Co4Robots och SSF Smart System projekt COIN, http://www.coinssf.se/  som är relaterat till ämnena övan.   

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 styrsyntes
- lärning-baserad multi-robot styrning

Tidigare medverkan i EU-projekt, förslag skrivförmåga, 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

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). 

Ansökan ska innehålla följande:

- 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
- Forskningsplan, max 2 sidor lång
- Kontaktinformation till två referenspersoner

Övrigt

Anställningen är tidsbegränsad upptill 1 år med möjlighet till förlängning med ytterligare 1 år.

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