Postdoktortjänst inom teoretisk datavetenskap

Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio / Datajobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio

Visa alla datajobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio i Stockholm

KTH svarar för en tredjedel av Sveriges kapacitet av teknisk forskning och ingenjörsutbildning på högskolenivå. Utbildningen och forskningen täcker ett brett område - från naturvetenskap till alla grenar inom tekniken samt arkitektur, industriell ekonomi och samhällsplanering. Totalt finns vid KTH mer än 12600 studenter på grundnivå och avancerad nivå och över 1800 forskarstuderande. KTH har nästan 4800 anställda.

Skolan för Datavetenskap och kommunikation är en av Sveriges mest framstående forsknings- och undervisningsmiljöer inom informationsteknologi med verksamhet på KTH och delvis även på Stockholms universitet.

Vi bedriver utbildning och forskning inom både teoretisk och tillämpad datalogi.
Den teoretiska datalogin sträcker sig från teoribildning och analys av matematiska modeller via algoritmutveckling till implementation och simulering.

Den tillämpade datalogiska forskningen och utbildningen omfattar datorseende, robotik, maskininlärning, högprestandaberäkningar, visualisering, beräkningsbiologi, neuroinformatik och neurala nätverk, samt tal- och musikkommunikation. Dessutom bedrivs tillämpad forskning och utbildning inom medieteknik, människa-datorinteraktion, interaktionsdesign och hållbar utveckling.

Publiceringsdatum
2013-12-02

Arbetsuppgifter
KTH Datavetenskap och kommunikation (CSC) söker en postdoktoral forskare i teoretisk datavetenskap.

Teorigruppen på KTH CSC (www.csc.kth.se/tcs) erbjuder en stark forskningsmiljö med ett brett spektrum av forskning inom ämnen som till exempel komplexitetsteori och approximationsalgoritmer, data- och nätverkssäkerhet, kryptografi, formella metoder, programmeringsspråk, och språkteknologi. Vår forskning publiceras regelbundet i världsledande tidskrifter och konferenser, och gruppens medlemmar har fått ett antal internationella utmärkelser och stora forskningsanslag på senare år. Nu behöver vi växa ännu mer, och denna tjänst är bara en av flera nyrekryteringar inom gruppen.

Den postdoktorala forskare kommer bli medlem i PROSPER gruppen som leds av Prof. Mads Dam (www.csc.kth.se/~mfd). Gruppen arbetar på säkerhetsverifikation av låg-nivå kod. PROSPER projektets mål är att utveckla nya säkerhetskärnor och virtualiseringslösningar, med primärt fokus på inbyggde tillämpningar (smartphones, microcontrollers). Ambitionen är att fullt verifiera de utvecklade system med hjälp av formella metoder. Detta involverar ett antal utmaningar såsom teori- och metodutveckling, utveckling av verktyg, kernel utveckling och verifikation, prototyp implementation, och benchmarking. I verifikationsarbetet använder vi en blandning av helt och delvist automatiserade metoder, inklusive teorembevisning. Projektet är i en expansiv fas och behöver en ambitiös och kreativ postdoc med intresse för säkerhetsmodellering och verifikation av verklig hardware.

Inom ramen för PROSPER projektet kommer den anställda kandidat ha rikliga möjligheter till handledning av studerande, både på masters och på PhD nivå, till kurser i universitetspedagogik, till undervisning inom forskar- och grundutbildning (på frivillig basis), och till att hjälpa till med projekt planering och skrivning av ansökningar.

Forskningsprojektet finansieras av ett ramanslag från SSF, Stiftelsen för Strategisk Forskning, och ett industriprojekt finansierat av Ericsson. Mer detaljerade beskrivningar av forskargruppen och PROSPER projektet finns här:
• Teoretisk datalogi www.csc.kth.se/tcs
• PROSPER projektet: www.csc.kth.se/~oschwarz/prosper

Detta är en heltidstjänst på ett år med möjlighet till förlängning ytterligare ett år. Förväntat startdatum är senast augusti-september 2014, även om detta till viss del är förhandlingsbart.

Kvalifikationer
Sökanden ska ha eller stå i begrepp att få en doktorsexamen inom ett ämne som är relevant för forskningsområdet och behöver vara passionerat intresserad av forskning. Exceptionella kandidater är alltid av intresse oavsett formella förkunskaper. Problemlösningsförmåga och kreativitet är ett måste.

Den blivande postdok-forskare förväntas ha en solid bakgrund inom formella metoder. Intresse och erfaring inom låg-nivå system och programmering är en ytterligare kvalifikation, såsom också erfaring inom datorsäkerhet och teorembevisning.

Arbetstider och omfattning
Heltid. Tidsbegränsad anställning, tillträde: Tillträde: Förväntat augusti-september 2014, men till viss del förhandlingsbart, upphör: Ett års tidsbegränsad anställning med möjlighet till ett års förlängning.

Så ansöker du
Sista dag att ansöka är 2014-01-06
Ansökan skickas till:
KTH, CSC, Att Camilla Johansson
Lindstedtsvägen 3, plan 4
100 44 Stockholm
Ansökan via e-post skickas till Camilla Johansson, e-post: applications1@csc.kth.se . Vid frågor kan du kontakta oss på: jobs@csc.kth.se . Ange referensnummer i ärenderaden. Ansökan inklusive bilagor ska skickas i PDF-format. Vi ser helst ansökan per e-post.
För att garantera att din ansökan behandlas behöver vi få den senast 15 december 2013. Ansökningar kommer att tas emot tills tjänsten är tillsatt. Referenspersoner ska skicka in sina rekommendationsbrev direkt till applications1@csc.kth.se med kopia till mfd@csc.kth.se före sista ansökningsdatum.
Ansökan skall omfatta följande dokument:
1. Curriculum vitae.
2. Publikationslista.
3. Kort research statement med en beskrivning av professionella intressen och forskningsmål.
4. Kopia av doktorsexamen (i förekommande fall).
5. Namn och adress till tre eller fler referenspersoner som kommer att skriva rekommendationsbrev.
(Observera att alla handlingar ovan skall vara på engelska, förutom officiella dokument som även kan vara på svenska.)
Ange följande referens när du ansöker: D-2013-0791
Ansökan kan skickas till e-postadress: applications1@csc.kth.se

Kontakt
Maria Widlund, frågor om anställning på KTH, Personalansvarig mwidlund@kth.se
Mads Dam, docent 08-790 62 29 mfd@kth.se

Facklig kontakt
David Spangenberg, SACO 08-790 94 37 davidspa@kth.se
Niclas Carlsson, ordf. ST 08-790 84 16 nc@kth.se
Per-Ove Öster, LO/SEKO perove@admin.kth.se

Företag
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation

Adress
Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikation
Valhallavägen 79
10044 Stockholm

Jobbnummer
1718074

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Kungliga Tekniska Högskolan , KTH Datavetenskap och kommunikatio: