Denna annons är inte tillgänglig!
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.
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:
Ö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 | Tidsbegränsad anställning |
---|---|
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-2018-3049 |
Kontakt |
|
Publicerat | 2018-12-13 |
Sista ansökningsdag | 2019-02-28 |