Postdoktor inom Formell syntes för robotik

Kungliga Tekniska högskolan, / Elektronikjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Visa alla elektronikjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, i Stockholm, Solna, Huddinge eller i hela Sverige

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.

Publiceringsdatum
2018-11-26

Dina arbetsuppgifter
Vi söker en postdoktor för att utföra forskning i ett multidisciplinärt projekt finansierat av Wallenberg AI, Autonomous Systems and Software Program (WASP), Sveriges enskilt största forskningsprogram, vars mål är att uppmana till innovation inom lovande områden av AI, autonoma system och mjukvara.

Projektet förenar formella metoder och människa-datorinteraktion med målet att utveckla konventionella korrekt-av-design planerings och reglertekniska metoder som använder sig av enkla och statiska modeller, mot syntes av korrekt-av-design och socialt acceptabla. Två typfall är planerade för att illustrera projektets resultat. Ett fall med självkörande bilar, samt ett fall med en robot som navigerar ett rum bland människor.

Målet med denna position är att utveckla system baserade på formella metoder som kan användas med data-drivna modeller, med mål att bättre återspegla verkliga scenarion.

Kandidaten kommer att arbeta under vägledning av Jana Tumova och i nära samarbete med en annan postdoktor arbetande inom fältet av människa-datorinteraktion.

Positionen är tvåårig. Startdatum är öppen för diskussion, dock med förbehåll för start vid April 2019.

Kvalifikationer
Sökande skall vara starkt motiverad för forskarstudier, ha förmåga till självständigt arbete och kritisk analys samt god samarbets- och kommunikationsförmåga. Sökande skall också ha god förmåga att tala och skriva engelska.

Kandidaten borde ha avlagd, eller vara nära att avlägga, doktorsexamen. Kandidaten ska även ha stark meritlista bestående av internationella publikationer inom områden såsom: Formell syntes, spelteori och multi-agent system. Kännedom av människa-datainteraktion, sociala robotar, och artificiell intelligens är en tillgång.

Vi söker kandidater som vill vara en del av en multidisciplinär grupp.

Fackliga representanter

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

Så ansöker du
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.
- Två 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.
- 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).

Övrig information
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.

Varaktighet, arbetstid
100%. Tillträde: Enligt överenskommelse, företrädelsevis april Visstidsanställning

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2019-01-15
Ange följande referens när du ansöker: J-2018-2818
Klicka på denna länk för att göra din ansökan

Kontakt
Jana Tumová, Biträdande universitetslektor tumova@kth.se
Sarah Kullgren, HR Handläggare sarahku@kth.se

Företag
Kungliga Tekniska högskolan,

Adress
Kungliga Tekniska högskolan,
Brinellvägen 8
10044 Stockholm

Kontorsadress
Brinellvägen 8

Jobbnummer
4480277

Observera att sista ansökningsdag har passerat.

Postdoktor inom Formell syntes för robotik

Prenumerera på jobb från Kungliga Tekniska högskolan,