Doktorand i teoretisk datavetenskap och/eller kombinatorisk optimering

Lunds universitet, LTH, Institutionen för datavetenskap / Högskolejobb / Lund
2024-06-27


Visa alla högskolejobb i Lund, Lomma, Staffanstorp, Burlöv, Kävlinge eller i hela Sverige
Visa alla jobb hos Lunds universitet, LTH, Institutionen för datavetenskap i Lund

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

Doktoranden kommer att arbeta i forskargruppen Mathematical Insights into Algorithms for Optimization (MIAO) group som leds av Jakob Nordström och är aktiv på både Lunds universitet och Köpenhamns universitet.

Mer information om institutionen för datavetenskap (cs.lth.se)

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. Dettta 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!

Ämnesbeskrivning

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.

Publiceringsdatum
2024-06-27

Dina arbetsuppgifter
Huvuduppgiften för en doktorand är att ägna sig åt sin forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna ingår medverkan i undervisning och annat institutionsarbete, dock max 20 % av arbetstiden, vilket i sådana fall förlänger doktorandstudierna i motsvarande mån.

Behörighet

Grundläggande behörighet till utbildning på forskarnivå har den som har

avlagt examen på avancerad nivå eller
fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå eller
på något annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.

Kraven på särskild behörighet för datavetenskap uppfyller den 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:

Mycket goda kunskaper i engelska, i tal och skrift.

För annonsen i sin helhet vänligen se: https://lu.varbi.com/se/what:job/jobID:740607/

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.

Ersättning
Månadslön

Så ansöker du
Sista dag att ansöka är 2024-09-06
Klicka på denna länk för att göra din ansökan

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "PA2024/2285".

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Lunds Universitet (org.nr 202100-3211)

Arbetsplats
Lunds universitet, LTH, Institutionen för datavetenskap

Kontakt
Jakob Nordström
jakob.nordstrom@cs.lth.se

Jobbnummer
8773914


Prenumerera på jobb från Lunds universitet, LTH, Institutionen för datavetenskap

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Lunds universitet, LTH, Institutionen för datavetenskap: