Postdoktortjänster i hybrida system med tillämpningar inom robotik

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.

Skolan för elektro- och systemteknik bedriver forskning och utbildning inom elektroteknik, systemteknik, informations- och kommunikationsteknik, rymd- och fusionsplasmafysik. Fältet elektroteknik och elektronik på KTH rankades som nummer 17 i världen under 2016 (nummer 16 under 2015). I denna dynamiska miljö arbetar cirka 450 personer, varav hälften är doktorander, många med utländsk bakgrund. Våra forskningsprojekt bedrivs i nära samarbete med industripartners och med forskarkollegor i Sverige och utomlands. Skolan ansvarar för högskole- och civilingenjörsutbildningen i elektroteknik samt flertalet masterprogram med högt söktryck och nära koppling till våra forskningsområden.



Avdelningen för reglerteknik 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

Avdelningen för reglerteknik söker efter upp till tre postdoktorer i hybrida system. De utvalda sökandena kommer att delta i en forskargrupp som fokuserar på nya konstruktionsmetoder för hybrida system med hjälp av reglerteknik och formella metoder från datavetenskap. Tjänsterna är kopplade 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.

- 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. Tjänsterna är kopplade till ERC Starting Grant BUCOPHSYS,  samt till tre nya EU och nationella projekt relaterade till ämnena ovan.

Kvalifikationer

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

- hybrida styrsystem
- multi-robot koordination
- distribuerad styrning
- formella metoder för styrsyntes

Tidigare medverkan i EU-projekt, erfarenhet av att skriva forskningsansökningar, liksom erfarenhet med riktiga robotplattformar kommer att betraktas som en merit.

De utvalda kandidaterna 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 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.

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

Övrigt 

Tjänsten är tidsbegränsad till 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.