Postdoktor i SAT-lösning
Kungliga Tekniska Högskolan / Kemiingenjörsjobb / Stockholm
Observera att sista ansökningsdag har passerat.
Visa alla kemiingenjörsjobb i Stockholm,
Solna,
Lidingö,
Sundbyberg,
Danderyd eller i
hela Sverige Visa alla jobb hos Kungliga Tekniska Högskolan i Stockholm,
Solna,
Huddinge,
Sollentuna,
Södertälje eller i
hela Sverige 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 12 400 helårsstudenter på grundnivå och avancerad nivå, nästan 1900 aktiva forskarstuderande och 5100 anställda.
För mer information om skolan för datavetenskap och kommunikation, besök
www.kth.se/csc .
Avdelningsinformation
Teorigruppen på KTH skolan för 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.
Publiceringsdatum2015-11-27Dina arbetsuppgifterDen 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. Ur 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 bortom 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 postdoktorn 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 2016, även om detta till viss del är förhandlingsbart.
KvalifikationerSö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 postdoktorn förväntas ha en stark bakgrund inom datavetenskap (i synnerhet SAT-lösning) och företrädelsevis även inom matematik (t.ex. inom kombinatorik, algebra och/eller geometri), och bör ha forskningsmeriter i form av publikationer i konferenser som AAAI, CP, IJCAI, SAT eller liknande, eller i tidskrifter av motsvarande kvalitet.
Fackliga representanter
Du hittar kontaktuppgifter till fackliga representanter på KTH:s webbsida.
Så ansöker duDu 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.
Ansökan ska vara KTH tillhanda senast sista ansökningsdagen vid midnatt, CET/CEST (Central European Time/Central European Summer Time).
Ansökan skall omfatta följande dokument:
• Curriculum vitae.
• Publikationslista.
• Kort forskningsbeskrivning (research statement) med redogörelse för din 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.)
Referenspersoner ska skicka in sina rekommendationsbrev direkt till
jakobn@kth.se före sista ansökningsdatum. Vänligen ange referensnummer D-2015-0823 på ämnesraden.
Övrig informationVi undanber oss direktkontakt med bemannings- och rekryteringsföretag samt försäljare av platsannonser.
Varaktighet, arbetstid
100%. Tillträde: Förväntat augusti-september 2016, men till viss del förhandlingsbart Visstidsanställning
ErsättningEnligt överenskommelse
Så ansöker duSista dag att ansöka är 2016-01-10
Ange följande referens när du ansöker: D-2015-0823
Klicka på denna länk för att göra din ansökanKontaktFör frågor om projektet, Jakob Nordström, lektor Telefonnummer: 08-790 6919, E-mail:
jakobn@kth.seFör frågor om anställning, Maria Widlund, HR-Chef Telefonnummer: 08-790 9754, E-mail:
mwidlund@kth.seFöretagKungliga Tekniska högskolan
AdressKungliga Tekniska högskolan
Lindstedtsvägen 3-5/Osquars Backe 2
10044 Stockholm
KontorsadressLindstedtsvägen 3-5/Osquars Backe 2
Jobbnummer 2549957
Observera att sista ansökningsdag har passerat.