Om denna roll
Lunds universitet grundades 1666 och rankas återkommande som ett av världens främsta lärosäten. Här finns omkring 47 000 studenter och mer än 8 800 medarbetare i Lund, Helsingborg och Malmö. Vi förenas i vår strävan att förstå, förklara och förbättra vår värld och människors villkor.
Lunds universitet välkomnar sökande med olika bakgrund och erfarenheter. Jämställdhet, lika villkor och mångfald är grundläggande principer för alla delar av vår verksamhet.
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.
För annonsen i sin helhet vänligen se: https://lu.varbi.com/what:job/jobID:878003/
Välkommen med din ansökan!
LTH – Lunds Tekniska Högskola – är den tekniska fakulteten vid Lunds universitet. På LTH utbildar vi människor, bygger kunskap för framtiden och arbetar hårt för att utveckla samhället. Vi skapar utrymme för briljant forskning och inspirerar till kreativ utveckling av teknik, arkitektur och design. Här läser närmare 10 000 studenter. Varje år publicerar våra forskare – varav många verkar inom världsledande profilområden – omkring 100 avhandlingar och 2 000 vetenskapliga rön. En rad forskningsresultat och studentarbeten förädlas till innovationer. Tillsammans utforskar och skapar vi – till nytta för världen.
Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.