Postdoktorer i verifiering av cyberfysiska system med bevisassis

Kungliga Tekniska högskolan, / Datajobb / Stockholm
2018-12-13
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Postdoktorer i verifiering av cyberfysiska system med bevisassis" (publicerad 2019-04-30) ⬅️

Visa alla datajobb 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-12-13

Dina arbetsuppgifter
Vi söker efter postdoktorkandidater för att forska inom projektet "Hög konfidens av formell verifiering av verkliga cyberfysiska system: från modell till maskinkod".

Det övergripande forskningsmålet i detta projekt är att utveckla ett nytt teoretiskt fundament av formell verifiering av cyberfysisk domänspecifik modellkompilering, från högnivåsystemmodeller ner till maskinkod, vilka uppfyller både funktionella och tidsmässiga restriktioner. En utmaning inom projektet är att utveckla en formellt verifierad modellkontroll, samt en syntesmekanism som både verifierar korrekthet av modellegenskaper, samt översätter till exekverbar maskinkod. Projektet kommer att utföras i bevisassistenten Coq. Docent och universitetslektor David Broman https://people.kth.se/~dbro/ är projektledare för projektet vid KTH och kommer att vara mentor. Det övergripande projektet är ett samarbete med docent och universitetslektor Magnus Myreens grupp vid Chalmers.

Positionen är tvåårig och finansieras av Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP). För mer information, se http://wasp-sweden.org/17-post-doc-positions-expedition/.

Kvalifikationer
Sökanden ska ha avlagt doktorsexamen eller vara nära doktorsexamen inom datalogi eller motsvarande. Doktorsexamen ska ha avlagts högst tre år före sista ansökningsdag. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare (t ex vid sjukdom, föräldraledighet m.fl.). Den sökande bör ha en stark bakgrund inom minst ett av följande områden: interaktiv teorembevisning, realtidssystem eller modellkontroll. Det finns inga formella krav av kunskap inom Coq, även om forskningen kommer att utföras i den bevisassistenten. Det är dock mycket önskvärt med viss erfarenhet av någon annan bevisassistent.

Den valda kandidaten behöver ha en utmärkt akademisk meritlista, väl utvecklade analytiska färdigheter, samt färdigheter i problemlösning. Vi söker en starkt motiverad kandidat som kan arbeta självständigt. Goda kunskaper i engelska i tal och skrift är nödvändiga för att publicera och presentera forskningsresultat i internationella konferenser och tidskrifter.

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

Så ansöker du
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:

- CV inklusive relevanta 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 de de relaterar till dina tidigare studier och framtida mål; max 2 sidor lång.
- Representativa publikationer eller tekniska rapporter: Dokument om max 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 ett rekommendationsbrev
- Kontaktinformation till två referenspersoner. Vi förbehåller oss rätten att kontakta referenser endast för utvalda kandidater.

Ö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 Visstidsanställning

Ersättning
Månadslön

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

Kontakt
David Broman, Docent och Universitetslektor dbro@kth.se
HR-handläggare rekrytering@eecs.kth.se

Företag
Kungliga Tekniska högskolan,

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

Kontorsadress
Brinellvägen 8

Jobbnummer
4508282

Observera att sista ansökningsdag har passerat.

Postdoktorer i verifiering av cyberfysiska system med bevisassis

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