Kungliga Tekniska högskolan,

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

Vi kommer att lägga stor vikt vid personlig lämplighet.

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:

  1. CV inklusive relevanta erfarenheter och kunskaper.
  2. 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. 
  3. 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.
  4. 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.
  5. Minst ett rekommendationsbrev
  6. Kontaktinformation till två referenspersoner. Vi förbehåller oss rätten att kontakta referenser endast för utvalda kandidater.

Övrigt
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.

Anställningsform Visstidsanställning längre än 6 månader
Anställningens omfattning Heltid
Tillträde Enligt överenskommelse
Löneform Månadslön
Antal lediga befattningar 2
Sysselsättningsgrad 100 %
Ort Kista
Län Stockholms län
Land Sverige
Referensnummer J-2019-1129
Kontakt
  • David Broman, Docent och Universitetslektor, dbro@kth.se
  • HR Tysse Norlindh Falk, rekrytering@eecs.kth.se
Publicerat 2019-04-30
Sista ansökningsdag 2019-06-02

Tillbaka till lediga jobb