Postdoktor i multi-robot styrning under temporala logiska specifikationer

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.




Arbetsuppgifter
Avdelningen för Reglerteknik vid EECS skolan på KTH söker en postdoktor till tjänst inom området planering och styrning av multi-agent-system som samverkar med människor, baserat på formella verifieringsspråk.

Den utvalda kandidaten kommer att ingå i en forskargrupp som fokuserar på nya styrmetoder för multirobotsystem. Tjänsten är kopplad till följande ämne:

- Multi-agent planering och styrning med fokus på human-in-the-loop och formella språkbaserade metoder: Modellering av den spatiotemporala medvetenheten förknippad med en grupp av agenter som samverkar med människor, genom formella verifieringsspråk.
- Skapande av lämpliga kvantifierbara robusthets-mått och uppgift fördelningar för att minimera de överträdelser som induceras av uppgiftskonflikter mellan agenter.
- Designa decentraliserade planering och beslutsfattande algoritmer enligt den topologiska strukturen av multi-agent systemet, för att minska riskerna.

Det slutliga målet med detta projekt är att tillhandahålla ett heltäckande ramverk för situationsmedvetenhet i system med flera agenter för att stödja hållbar autonomi via agenter som aktivt uppfattar risker förknippade med de dynamiskt föränderliga omgivningarna och som samarbetar med andra robotar och människor för att förbättra deras medvetenhet samtidigt och strävar efter att utföra komplexa och dynamiskt föränderliga uppgifter.

Denna tjänst är kopplad till det Horisont-Europeiska Innovationsrådets (EIC) forskningsprojekt SymAware.  Projektet är ett gemensamt samarbete mellan fyra akademiska partners som inkluderar Uppsala Universitet och KTH, Sverige, TU Eindhoven, Nederländerna, och Newcastle University, UK, samt två industriella partners, Siemens (SISW) och Royal Netherlands Aerospace Centre (NLR), Nederländerna.

Vi erbjuder
- En anställning på ett ledande tekniskt universitet som skapar kunskap och kompetens för en hållbar framtid
- Engagerade och ambitiösa kollegor samt en kreativ, internationell och dynamisk miljö

https://www.kth.se/om/work-at-kth/kth-your-future-workplace-1.49050

Kvalifikationer
Krav

- Avlagd doktorsexamen eller utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.
- Sökande ska ha avlagt doktorsexamen inom minst ett av följande forskningsområden: - Distribuerad multi-agent planering och styrning
- Planering och styrning baserad på formella metoder
- Human-in-the-loop planering och styrning


- Sökande skall ha vetenskaplig skicklighet samt 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 samarbeta väl inom en forskargrupp.


- Du som söker behöver också ha en pedagogisk förmåga.


- Goda kunskaper i engelska i tal och skrift är nödvändiga för att publicera och presentera forskningsresultat.



Meriterande

- Vid sista ansökningsdag högst tre år sedan doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen avlades.

- Det är meriterande om du har medvetenhet om mångfalds- och likabehandlingsfrågor med särskilt fokus på jämställdhet.



Vi kommer att lägga stor vikt vid personliga egenskaper.

Fackliga representanter
Du hittar kontaktuppgifter till fackliga representanter på https://www.kth.se/om/work-at-kth/fackrepresentanter-1.500898.

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 innehålla: 

- CV inklusive relevant yrkeserfarenhet och kunskap.
- Kopia av examensbevis och betyg från dina tidigare universitetsstudier. Översättningar till engelska eller svenska om de ursprungliga dokumenten inte utfärdas på något av dessa språk.
- Kortfattad redogörelse för varför du vill bedriva forskning, dina akademiska intressen och hur de relaterar till dina tidigare studier och framtida mål. max 2 sidor lång. 
Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time).

Om anställningen
Anställningen gäller tillsvidare, dock längst två år

En anställning som postdoktor är en tidsbegränsad meriteringsanställning med huvudinriktning mot forskning avsedd som ett första karriärsteg efter disputation.

Övrigt
Strävan efter jämställdhet, mångfald och lika villkor ä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.