Postdoktorer i teoretisk datavetenskap

KTH Royal Institute of Technology / 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 KTH Royal Institute of Technology i Stockholm

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, teknisk historia och filosofi.

För mer information om skolan för datavetenskap och kommunikation, besök www.kth.se/csc.

Avdelningsinformation

Forskargruppen i teoretisk datavetenskap på skolan för datavetenskap och kommunikation söker postdoktorala 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 och språkteknologi. Vi har en av Europas främsta forskargrupper inom algoritmer och beräkningskomplexitet, och forskningen här har genererat ett antal internationella utmärkelser och stora forskningsanslag på senare år.

Publiceringsdatum
2017-02-22

Dina arbetsuppgifter
De postdoktorala forskarna kommer att vara medlemmar i den grupp som leds av Jakob Nordström. Mycket av gruppens verksamhet kretsar kring beviskomplexitet och SAT-lösning. Exempel på teoretiska frågor av intresse är analysera bevissystem som fångar beräkningskraften hos Gröbnerbaser (polynomkalkyl) och heltalsprogrammering (cutting planes), och att bevisa undre gränser i hierarkin av Frege-system. Ett annat intressant område är användandet av linjär eller semidefinit programmering för att lösa svåra kombinatoriska problem och av beviskomplexitet för att visa när sådana metoder inte kan rå på problemen. Problem av ovanstående typ har visat sig djupa, och ibland oväntade, kopplingar till andra ämnen som t.ex. kretskomplexitet, kommunikationskomplexitet och icke-approximation, och därför uppmuntras också forskare inom dessa eller närliggande områden att söka tjänsterna.

Forskningsprojektet finansieras av ett konsolideringsanslag och ett anslag för genombrottsforskning från Vetenskapsrådet samt av ett Starting Independent Researcher Grant från European Research Council. En mer detaljerad beskrivning av projektet (på engelska) finns på webbsidan www.csc.kth.se/~jakobn/project-proofcplx. Forskargruppen består för närvarande (förutom projektledaren) av två postdoktorala forskare och fyra doktorander. Utöver detta arbetar flera andra professorer, lektorer, postdokar och doktorander i TCS-gruppen med närliggande frågor inom algoritmer och komplexitetsteori (inte minst inom projektet Approximerbarhet och beviskomplexitet), så detta är med andra ord en unik möjlighet att utforska nya samband mellan olika områden inom teoretisk datavetenskap i en dynamiskt växande forskningsmiljö.

Inom ramen för beskrivningen ovan förväntas och uppmuntras postdok-forskaren bidra till och påverka projektets utveckling. Undervisning i kurser på doktorandnivå uppmuntras men utgör inte något krav. Finansiering för resor ingår i tjänsten, och gruppen har också korttids- och långtidsbesökare utifrån på regelbunden basis.

Dessa tjänster är heltidstjänster på ett år med möjlighet till förlängning ytterligare ett år. Förväntat startdatum är augusti-september 2017, även om detta till viss del är förhandlingsbart.

Kvalifikationer
Sökande 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 intresserade av forskning. Den blivande postdok-forskaren förväntas ha en stark bakgrund inom teoretisk datavetenskap och matematik, och bör ha forskningsmeriter i form av publikationer i konferenser som STOC, FOCS, SODA, CCC eller liknande, eller i tidskrifter av motsvarande kvalitet.

Fackliga representanter

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

Så ansöker du
Vänligen observera att detta är en ytterligare utlysning utöver D-2016-0871 som har tillkommit på grund av ytterligare finansiering. Personer som redan har sökt tjänsten D-2016-0871 behöver inte söka även denna utlysning - alla kandidater utvärderas parallellt för båda utlysningarna.

Ansökan skall omfatta följande dokument:

- Curriculum vitae.
- Publikationslista.
- Kort forskningsbeskrivning (research statement) med redogörelse för forskning såhär långt och forskningsplaner och -intressen framöver.
- Kopia av doktorsexamen (i förekommande fall).
- 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.

Observera att referenspersoner ska skicka in sina rekommendationsbrev direkt till jakobn@kth.se före sista ansökningsdatum. Vänligen ange referensnummer D-2017-0137 på ämnesraden.

Du ansöker via KTH:s rekryteringssystem, länk finner du längst ner på sidan. 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
Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.

Varaktighet, arbetstid
100%. Tillträde: Förväntat augusti-september 2017, men till viss del förhandlingsbart Visstidsanställning

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2017-03-31
Ange följande referens när du ansöker: D-2017-0137
Klicka på denna länk för att göra din ansökan

Kontakt
Jakob Nordström, Lektor Telefon: 08-790 69 19, E-postadress: jakobn@kth.se
Maria Widlund, HR Chef mwidlund@kth.se

Företag
KTH Royal Institute of Technology

Adress
KTH Royal Institute of Technology
Lindstedtsvägen 3-5/Osquars Backe 2
10044 Stockholm

Kontorsadress
Lindstedtsvägen 3-5/Osquars Backe 2

Jobbnummer
3334321

Observera att sista ansökningsdag har passerat.

Postdoktorer i teoretisk datavetenskap

Prenumerera på jobb från KTH Royal Institute of Technology