Doktorand i teoretisk datavetenskap och/eller kombinatorisk optimering
Lunds universitet, LTH, Institutionen för datavetenskap / Högskolejobb / Lund
2022-11-21
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Doktorand i teoretisk datavetenskap och/eller kombinatorisk optimering" (publicerad 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 100 främsta lärosäten. Här finns cirka 46 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 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.
Forskarutbildningsämne
Datavetenskap
Ämnesbeskrivning
Doktoranden kommer att arbeta i forskargruppen Mathematical Insights into Algorithms for Optimization (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 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.
Nyligen har vi gjort forskningsgenombrott inom 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. 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 bara börjat. Ändå kan vårt verktyg VeriPB redan hantera tekniker som länge varit utom räckhåll för andra verktyg, och vi har nyligen fått prestigefyllda AAAI '22 Distinguished Paper Award och SAT '22 Best Paper Award för denna forskning.
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.
Publiceringsdatum2022-11-21Dina arbetsuppgifterHuvuduppgiften 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, 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.
Bedömningsgrunder
Urval till utbildning på forskarnivå sker efter bedömd förmåga att tillgodogöra sig forskarutbildningen. Bedömningen av förmågan sker främst utifrån studieresultaten på grundnivå och avancerad nivå. Följande beaktas:
- Kunskaper och färdigheter relevanta för avhandlingsarbetet och utbildningsämnet.
- Bedömd förmåga till självständigt arbete och förmåga att formulera och angripa vetenskapliga problem.
- Förmåga till skriftlig och muntlig kommunikation.
- Övriga erfarenheter relevanta för utbildningen på forskarnivå, t ex yrkeserfarenhet.
Övriga meriter
- Doktoranden behöver ha 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.
Hänsyn kommer också att tas till god samarbetsförmåga, driv och självständighet samt hur den sökande genom sin erfarenhet och kompetens bedöms ha den förmåga som behövs för att klara forskarutbildningen.
AnställningsvillkorEndast den som är antagen till forskarutbildning får anställas som doktorand. Forskarutbildningen är fyra år vid heltidsstudier. Vid undervisning och annat institutionsarbete förlängs anställningen i motsvarande grad, dock längst till 5 år (dvs. max 20 %). Bestämmelser gällande anställning som doktorand finns i Högskoleförordningen (1993:100), 5 kap 1-7 §§.
Instruktioner för ansökan
Ansökan ska skrivas på engelska och ska omfatta följande dokument:
- Curriculum vitae.
- Personligt brev med motivering till varför den sökande är intresserad av doktorandstudier och med en beskrivning av sökandes meriter och intressen.
- Examensintyg och betygsutdrag (för kandidats- och magisterstudier).
- Om tillämpligt, en kopia av den sökandes magisteruppsats eller kandidatuppsats och av eventuella vetenskapliga publikationer.
- Namn och address för tre referenspersoner som kan komma att kontaktas senare i rekryteringsprocessen.
Alla dokument ovan ska vara på engelska (eller för officiella dokument på svenska).
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.
Vi undanber oss alla kontakter från annonsförsäljare, rekryterings- och bemanningsföretag på grund av statliga upphandlingsregler.
Varaktighet, arbetstid
100. Tillträde: Snarast Visstidsanställning till
ErsättningMånadslön
Så ansöker duSista dag att ansöka är 2023-01-12
Klicka på denna länk för att göra din ansökanFöretagLunds universitet, LTH, Institutionen för datavetenskap
Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "PA2022/3578".
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 7191544
Observera att sista ansökningsdag har passerat.