Postdoktor i kombinatorisk optimering och/eller teoretisk datavetenskap

Beskrivning av arbetsplatsen

Vi söker efter en ledande junior forskare med innovativt tankesätt och intellektuell nyfikenhet som kan stärka och komplettera forskningsprofilen i forskargruppen Mathematical Insights into Algorithms for Optimization (MIAO) group på institutionen för datavetenskap på Lunds universitet. Gruppen, som leds av Jakob Nordström, är även aktiv på Köpenhamns universitet. 

Lunds universitet är beläget i Öresundsområdet, som erbjuder en av de starkaste och mest spännande miljöerna för forskning inom datavetenskapens grunder i Europa. Vi samarbetar inte bara med med Köpenhamns universitet, där Basic Algorithms Research Copenhagen (BARC) center är baserat, utan också med IT-universitetet i Köpenhamn (ITU) och Danmarks tekniska universitet (DTU). 

Särskild ämnesbeskrivning

MIAO-gruppen har en unik profil i så motto att vi både bedriver forskning om de matematiska grundvalarna för effektiva beräkningar och arbetar med att designa tillämpade algoritmer som ska uppnå topprestanda i praktiken. Detta skapar en mycket speciell miljö, där vi inte bara går djupt in i olika teoretiska och praktiska spörsmål, utan där olika forskningsprojekt korsbefruktar varandra och oväntade och spännande synergier ofta uppstår. Mycket av vår forskning handlar om kraftfulla algoritmiska paradigmer som SAT-lösning, Gröbnerbasberäkningar, heltalsprogrammering, och villkorsprogrammering. Detta leder till klassiska frågor inom beräkningsvetenskap – men ofta med nya, intressanta infallsvinklar – men också till utmaningen att konstruera smarta algoritmer som kan utnyttja sådana metoder i praktiken.

Vårt senaste tillägg till forskningsportföljen fokuserar på verifierbarhet för moderna algoritmer för kombinatorisk optimering. Sådana algoritmer är ofta mycket komplexa, och även väletablerade kommersiella lösare beräknar ibland felaktiga resultat. Vårt arbete med att designa en ny generation av certifierande kombinatoriska lösare, som producerar inte bara lösningar utan också automatiskt verifierbara bevis för att lösningarna är korrekta, har redan lett till flera prestigefyllda internationella priser, men många fler spännande forskningsproblem väntar fortfarande på att få sin lösning!

Huvudsyftet med denna utlysning är att hitta en kandidat med stark matematisk förmåga kombinerat med utmärkta kunskaper inom algoritmik och programmering som kan fortsätta vårt banbrytande arbete inom certifierande algoritmer för kombinatorisk optimering. Det finns dock flexibilitet i valet av inriktning och alla kandidater med forskning inom området är välkomna, såväl de som vill fokusera på antingen teoretisk eller tillämpad forskning som de som inspireras av utmaningen att överbrygga klyftan mellan teori och praktik.

Arbetsuppgifter

I arbetsuppgifterna som postdoktor ingår främst att bedriva forskning. Undervisning på avancerad nivå uppmuntras men är inte något krav.  Resor ingår i tjänsten och vi har även besökare på regelbunden basis. Inom ramen för anställningen ges det möjlighet till tre veckors högskolepedagogisk utbildning. Syftet med anställningen är att utveckla postdoktorns självständighet som forskare samt skapa förutsättningar för vidare meritering. Postdoktorn förväntas samarbeta med doktorander i gruppen och kan ombes att hjälpa till med handledning av examensarbete.

Behörighet

Behörig att anställas som postdoktor är den som har avlagt doktorsexamen, eller en utländsk examen som bedöms motsvara doktorsexamen, inom anställningens ämnesområde. Bevis om att behörighetskravet är uppfyllt ska ha inkommit senast vid tidpunkten då anställningsbeslut fattas. Främst kommer den sökande i fråga som avlagt examen högst tre år före sista ansökningsdag. Om det finns särskilda skäl kan doktorsexamen ha avlagts tidigare.

Övriga krav:

• Goda kunskaper i engelska, i tal och skrift.
• Solida bakgrundskunskaper inom och ett passionerat intresse för datavetenskap och matematik.
• Problemlösningsförmåga och kreativitet.
• God Samarbetsförmåga.
• Publicerade artiklar i toppkonferenser och/eller tidskrifter inom området, som AAAI, IJCAI, SAT, CP eller liknande för mer tillämpade kandidater, eller STOC, FOCS, SODA, CCC, ICALP eller liknande för mer teoretiskt inriktade kandidater.

Bedömningsgrunder

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. 

Vid anställning av postdoktor ska följande utgöra grund för bedömning:

• God förmåga att utveckla och genomföra forskning av god kvalitet.
• Pedagogisk förmåga. 

Hänsyn kommer att tas till hur den sökande genom sin erfarenhet och kompetens bedöms komplettera och stärka forskningen inom avdelningen/institutionen samt bidra till dess framtida utveckling.

Vi erbjuder

Lunds universitet är en statlig myndighet vilket innebär att du får särskilda förmåner, generös semester och en förmånlig tjänstepension.

Läs mer på universitets webbplats om att Jobba hos oss. 

Övrigt 

Anställningen är tidsbegränsad till två år och avser heltid. Anställningen tidsbegränsas enligt kollektivavtal, “Avtal om tidsbegränsad anställning som postdoktor”. 

Så här söker du

Ansökan ska skrivas på engelska och ska omfatta följande dokument:

1. Curriculum vitae. 
2. Examensintyg och betygsutdrag (för kandidats/magisterstudier och doktorandstudier eller motsvarande).
3. Publikationslista inklusive länkar till Google Scholar och DBLP.
4. Kortfattad forskningsuttalande med en översikt över forskningen hittills och framtida forskningsmål och intressen, inklusive en kort beskrivning av 3 utvalda artiklar. 
5. Kopior av de ovanstående 3 utvalda artiklarna.
6. Namn och adress för tre referenspersoner som kan komma att kontaktas senare i rekryteringsprocessen.

Välkommen med din ansökan!