Doktorand i teoretisk datavetenskap och/eller kombinatorisk optimering

Beskrivning av verksamheten

Doktoranden kommer att arbeta 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. 

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 ge 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!

Att vara doktorand 

Som doktorand är du både antagen som student och anställd vid Lunds universitet. 

Som forskarstuderande tränas du i ett vetenskapligt förhållningssätt. Det kan kort beskrivas som att du får övning i att tänka kritiskt och analytiskt, att du får lösa problem självständigt med hjälp av rätt metodval och du får en forskningsetisk medvetenhet. Dessutom ges möjlighet för dig som doktorand att arbeta med projekt, att utveckla dina ledaregenskaper och din pedagogiska förmåga. Under hela din studietid guidas du av handledare. Forskarstudierna avslutas med en avhandling och doktorsexamen.

Mer om att vara doktorand vid LTH på lth.se. 

Ämnes- och projektbeskrivning

Huvudsyftet med denna utlysning är att hitta en matematiskt begåvad doktorand med utmärkta programmeringskunskaper som kan fortsätta vårt banbrytande arbete inom certifierande algoritmer, finansierat av Wallenberg AI, Autonomous Systems and Software Program (WASP). Det finns dock flexibilitet i valet av inriktning och alla kandidater ä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

Du kommer framförallt att ägna dig åt din forskarutbildning, vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser, seminarier och konferenser. I arbetsuppgifterna ingår medverkan i undervisning och annat institutionsarbete, dock max 20 % av arbetstiden, vilket förlänger doktorandstudierna i motsvarande mån.

Kvalifikationer 

För att kunna antas och anställas som doktorand behöver du uppfylla kraven nedan.

Behörighetskrav

Grundläggande behörighet till utbildning på forskarnivå uppfyller du som har:

• avlagd examen på avancerad nivå eller 
• fullgjorda kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå eller 
• på något annat sätt förvärvat i huvudsak motsvarande kunskaper.

Särskild behörighet för datavetenskap uppfyller du som har:

• minst 60 högskolepoäng på̊ avancerad nivå̊ med relevans för ämnesområdet, eller
• civilingenjörsexamen inom datateknik, elektroteknik, informations- och kommunikationsteknik, teknisk fysik, eller teknisk matematik. 

Övriga krav

För att tillgodogöra sig den aktuella forskarutbildningen krävs även:  

• Mycket goda kunskaper i engelska, i tal och skrift.
• Mycket goda kunskaper inom matematik och datavetenskap, uppvisade av toppbetyg inom relevanta kurser, eller genom resultat på matematik- och informatikolympiader, eller i form av tidigare genomförda forskningsprojekt.
• Mycket god förmåga till problemlösning och kreativt tänkande.
• Mycket goda programmeringskunskaper för de kandidater som avser att fokusera på tillämpad forskning.
• God förmåga till självständigt arbete och förmåga att formulera och angripa vetenskapliga problem. 
• God förmåga till skriftlig och muntlig kommunikation. 
• God samarbetsförmåga.

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. 

Mer om att jobba på Lunds universitet på lu.se. 

Om anställningen

Anställningen är en visstidsanställning på heltid. Önskvärt startdatum är augusti-september 2026 eller enligt överenskommelse. Forskarutbildningen är fyra år vid heltidsstudier. Vid undervisning och annat institutionsarbete förlängs anställningen i motsvarande grad. Bestämmelser gällande anställning som doktorand finns i Högskoleförordningen (1993:100), 5 kap 1-7 §§. 

Mer om anställningsvillkor för doktorander på Lunds universitets medarbetarwebb. 

Så här söker du

Ansökan ska skrivas på engelska och till din ansökan ska du bifoga:

1. Curriculum vitae. 
2. Personligt brev med motivering till varför den sökande är intresserad av doktorandstudier och med en beskrivning av sökandes meriter och intressen. 
3. Examensintyg och betygsutdrag (för kandidats- och magisterstudier). Dessa ska styrka din grundläggande och särskilda behörighet till forskarutbildningsämnet.
4. Om tillämpligt, en kopia av den sökandes magisteruppsats eller kandidatuppsats och av eventuella vetenskapliga publikationer. 
5. Namn och adress för tre referenspersoner som kan komma att kontaktas senare i rekryteringsprocessen. 

Välkommen med din ansökan!