Doktorander i datavetenskap

Lunds Universitet / Högskolejobb / Lund
Observera att sista ansökningsdag har passerat.

Visa alla högskolejobb i Lund, Lomma, Staffanstorp, Burlöv, Kävlinge eller i hela Sverige
Visa alla jobb hos Lunds Universitet i Lund, Malmö, Höör, Klippan, Helsingborg eller i hela Sverige

Lunds universitet grundades 1666 och rankas återkommande som ett av världens 100 främsta lärosäten. Här finns cirka 44 000 studenter och mer än 8 000 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 Tekniska Högskola, LTH, är en teknisk fakultet inom Lunds universitet med forskning av hög internationell klass och stora satsningar på pedagogisk mångfald.

Ämnesbeskrivning.

Doktoranderna kommer att arbeta i forskargruppen Mathematical Insight into Algorithms for Opmization (MIAO) group https://jakobnordstrom.github.io/miao-group/ som leds av Jakob Nordström https://jakobnordstrom.github.io/ och är aktiv på både Lunds universitet och Köpenhamns universitet.

MIAO-gruppen har en unik profil i så motto att vi å ena sedan utför matematisk forskning om grunderna för effektiva beräkningar, men å andra sidan också arbetar med att designa praktiska algoritmer som ska vara mycket effektiva i praktiken. Detta skapar en mycket speciell miljö, där vi inte bara går djupt in i olika teoretiska och praktiska ämnen, 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.

Vi har en tjänst för en teoretisk doktorand, finansierad av ett konsolideringsanslag från Vetenskapsrådet, och en mer tillämpad doktorand med stöd från Wallenberg AI, Autonomous Systems and Software Program (WASP). Det finns dock stor flexibilitet i valet av forskningsämnen, 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.

Det mesta av vår teoretiska forskning handlar om beviskomplexitet. Beviskomplexitet har kopplingar till grundläggande frågor inom beräkningskomplexitet, men är också ett viktigt verktyg för algoritmanalys eftersom det kan klarlägga teoretiska möjligheter och begränsningar hos olika algoritmiska metoder.

Inom vår tillämpade forskning vill vi förstå och förbättra moderna algoritmer för automatisk bevisföring och kombinatorisk optimering. Vi är särskilt intresserade av att designa algoritmer som kan använda sofistikerade matematiska metoder för att bli exponentiellt mycket snabbare än de bästa algoritmerna idag - något som teoretisk forskning antyder ska vara möjligt men som hittills visat sig svårt att uppnå i praktiken.

Nyligen har vi också bedrivit genombrottsforskning om 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 lösningar. Vi vill designa om de bästa kombinatoriska lösarna så att de blir certifierande, dvs. så att de producerar som resultat inte bara en lösning utan även ett enkelt, automatiskt verifierbart bevis för att denna lösning är korrekt och fullständig - detta kallas också för bevisloggning.

Publiceringsdatum
2021-08-12

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 kan även ingå medverkan i undervisning och annat institutionsarbete, dock max 20 % av arbetstiden.

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:

- 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 är av avgörande betydelse.
- För kandidater som är intresserade av tillämpad forskning är goda programmeringskunskaper mycket viktiga.

För annonsen i sin helhet vänligen se:

https://lu.varbi.com/what:job/jobID:420266/?lang=se

Lunds universitet välkomnar sökande med olika bakgrund och erfarenheter. Vi ser jämställdhet och mångfald som en styrka och tillgång. Välkommen med din ansökan! Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.

Varaktighet, arbetstid
100%. Tillträde: Så snart som möjligt Visstidsanställning

Ersättning
Månadslön

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

Företag
Lunds Universitet

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "PA2021/2526".

Omfattning
Detta är ett heltidsjobb.

Arbetsgivare
Lunds Universitet (org.nr 202100-3211)

Arbetsplats
Lund University, Faculty of Engineering, Department of Computer Science

Jobbnummer
5897395

Observera att sista ansökningsdag har passerat.

Doktorander i datavetenskap

Prenumerera på jobb från Lunds Universitet