Postdoktoral tjänst i beräkningskomplexitet och/eller SAT-lösnin

Kungliga Tekniska högskolan, KTH Datavetenskap och kommunikation / Matematikerjobb / Stockholm
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Kungliga Tekniska högskolan, KTH Datavetenskap och kommunikation

Visa alla matematikerjobb i Stockholm, Solna, Lidingö, Sundbyberg, Danderyd eller i hela Sverige
Visa alla jobb hos Kungliga Tekniska högskolan, KTH Datavetenskap och kommunikation 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 13 400 studenter på grundnivå och avancerad nivå och nästan 1900 forskarstuderande. KTH har 4900 anställda.

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

Mer information om KTH Datavetenskap och kommunikation finns på www.kth.se/csc .

Publiceringsdatum
2014-12-08

Dina arbetsuppgifter
Vi söker en postdoktoral forskare i beräkningskomplexitet och/eller SAT-lösning.

Teorigruppen på KTH Datavetenskap och kommunikation ( 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. 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.

Den postdoktorala forskaren kommer att vara medlem i den grupp som leds av Jakob Nordström ( www.csc.kth.se/~jakobn ). Mycket av gruppens verksamhet kretsar kring beviskomplexitet och SAT-lösning. Från en teoretisk synpunkt har dessa områden visat sig ha 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änsten. Från en praktisk synvinkel är några intressanta forskningsproblem att nå en djupare förståelse för hur de för närvarande bästa SAT-lösarna - som baseras på konfliktstyrd klausulinlärning (conflict-driven clause learning, eller CDCL) - fungerar, och att försöka bygga SAT-lösare som går längre än CDCL och istället använder, t.ex., algebraiska eller geometriska metoder.

Inom ramen för (den ganska allmänna) 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.

Forskningsprojektet finansieras av ett anslag för genombrottsforskning från Vetenskapsrådet och 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 en postdoktoral forskare och fyra doktorander.

Denna tjänst är en heltidstjänst på ett år med möjlighet till förlängning ytterligare ett år. Förväntat startdatum är augusti-september 2015, ä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. Exceptionella kandidater är alltid av intresse oavsett formella förkunskaper. Problemlösningsförmåga och kreativitet är ett måste.

Den blivande postdok-forskaren förväntas ha en stark bakgrund inom datavetenskap (i beräkningskomplexitet eller SAT-lösning) och gärna också inom matematik (t.ex. inom kombinatorik, algebra och/eller geometri), och bör ha forskningsmeriter i form av publikationer i konferenser som STOC, FOCS, CCC, ICALP, SODA, SAT, CP, AAAI, IJCAI eller liknande, eller i tidskrifter av motsvarande kvalitet.

Fackliga representanter

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

Så ansöker du
Du ansöker via KTH:s rekryteringsverktyg. Du som sökande har huvudansvaret för att din ansökan är komplett när den skickas in. Din kompletta ansökan ska vara KTH tillhanda senast sista dagen för ansökningsperioden.

Ansökan skall omfatta följande dokument:

• Curriculum vitae.
• Publikationslista.
• Kort research statement med en beskrivning av professionella intressen och forskningsmål.
• 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.)

Referenspersoner ska skicka in sina rekommendationsbrev direkt till jakobn@csc.kth.se före sista ansökningsdatum.

Övrig information
Vi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.

Arbetstider och omfattning
100%. Tillträde: Augusti-september 2015, till viss del förhandlingsbart Visstidsanställning

Ersättning
Enligt överenskommelse

Så ansöker du
Sista dag att ansöka är 2015-01-25
Ange följande referens när du ansöker: D-2014-0761
Klicka på denna länk för att göra din ansökan

Kontakt
For enquiries about employment, Maria Widlund, HR-Manager 08-790 9754, mwidlund@kth.se
For enquiries about the research project, Jakob Nordström, Assistant Professor 08-790 6919, jakobn@csc.kth.se

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

Adress
Kungliga Tekniska högskolan, KTH Datavetenskap och kommunikation
Lindstedtsvägen 3-5/Osquars Backe 2
10044 Stockholm

Kontorsadress
Lindstedtsvägen 3-5/Osquars Backe 2

Jobbnummer
2094204

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Kungliga Tekniska högskolan, KTH Datavetenskap och kommunikation

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 kommunikation: