Postdoktor i teoretisk datavetenskap - Under tillsättning eller tillsatt, ej sökbar

Särskild ämnesbeskrivning
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.

Arbetsuppgifter
I arbetsuppgifterna som postdoktor ingår främst att bedriva forskning. Inom ramen för beskrivningen ovan förväntas och uppmuntras postdoktorerna bidra till och påverka projektets utveckling. Undervisning i kurser på doktorandnivå uppmuntras men utgör inte något krav. Inom ramen för anställningen ges möjlighet till tre veckors högskolepedagogisk utbildning. Resor ingår i tjänsten, och gruppen har också korttids- och långtidsbesökare utifrån på regelbunden basis.

Behörighet
Behörig att anställas som postdoktor är den som avlagt doktorsexamen, eller utländsk examen som bedöms motsvara doktorsexamen, inom anställningens ämnesområde och som avlagts högst tre år före ansökningstidens utgång. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare. De blivande postdoktorerna behöver vara passionerat intresserade av forskning, 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. Problemlösningsförmåga och kreativitet är ett måste, liksom mycket goda kunskaper i engelska, i tal och skrift.

Bedömningsgrunder och övriga meriter
Detta är en meriteringsanställning främst inriktad på forskning. Anställningen är tänkt som ett inledande steg i karriären och bedömningen av de sökande kommer i första hand att baseras på deras vetenskapliga meriter och potential som forskare. Särskild vikt kommer att fästas vid vetenskaplig förmåga inom ämnesområdet.

Hänsyn kommer också att tas till god samarbetsförmåga, driv och självständighet samt hur den sökande genom sin erfarenhet och kompetens bedöms komplettera och stärka pågående forskning inom institutionen samt bidra till dess framtida utveckling.

Villkor
Anställningen är tidsbegränsad till max 2 år och avser heltid. Anställningen tidsbegränsas enligt avtal, “Avtal om tidsbegränsad anställning som postdoktor”, mellan arbetsmarknadens parter daterat 2008-09-04 (Arbetsgivarverket, OFR:s, Saco-S och SEKO).

Instruktioner för ansökan
Ansökan ska laddas upp som PDF-filer i Lunds universitets rekryteringssystem och ska 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.
• Namn och adress till tre eller fler referenspersoner som kommer att skriva rekommendationsbrev. Observera att referenspersoner ska skicka in sina rekommendationsbrev direkt till jakob.nordstrom@cs.lth.se före sista ansökningsdatum. Vänligen ange referensnummer på ämnesraden.

Observera att alla handlingar ovan skall vara på engelska, förutom officiella dokument som även kan vara på svenska.

Universitetet tillämpar individuell lönesättning. Ange gärna löneanspråk i din ansökan