Doktorand i datavetenskap fokuserad på SAT-lösning och kombinato-risk optimering - Under tillsättning eller tillsatt, ej sökbar

Projektbeskrivning
Doktoranden kommer att vara medlem i den grupp som leds av Jakob Nordström. Mycket av gruppens verksamhet kretsar kring effektiva algoritmer för satisfierbarhet av satslogiska formler (SAT-lösning) och undre gränser för sådana metoder (beviskomplexitet). Ur en praktisk synvinkel är ett intressant forskningsproblem att nå en djupare förståelse av, och förbättra prestanda för, de för närvarande bästa SAT-lösarna som baseras på konfliktstyrd klausulinlärning (conflict-driven clause learning, eller CDCL). Av ännu större intresse är att försöka bygga SAT-lösare baserade på algebraiska och geometriska metoder som skulle kunna leda till en exponentiell ökning av prestanda jämfört med CDCL (t.ex. Gröbner-baser eller pseudo-Boolesk lösning). Vi tror också att det finns potential för synergier med närliggande områden som SMT-lösning, villkorsprogrammering (constraint programming) och heltalsprogrammering (mixed integer linear programming), så forskningsprojektet kommer också att beröra dessa områden.

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 det ä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:

• Mycket goda kunskaper i engelska i tal och skrift är en förutsättning för att kunna medverka i projektets internationella samarbeten och för att publicera och presentera forskningsresultat i internationella konferenser och tidskrifter. Forskargruppens arbetsspråk är också på engelska.
• Problemlösningsförmåga och kreativitet.

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:

1. Kunskaper och färdigheter relevanta för avhandlingsarbetet och utbildningsämnet.
2. Bedömd förmåga till självständigt arbete och förmåga att formulera och angripa vetenskapliga problem.
3. Förmåga till skriftlig och muntlig kommunikation.
4. Övriga erfarenheter relevanta för utbildningen på forskarnivå, t ex yrkeserfarenhet.

Övriga meriter:

• En lämplig bakgrund för tjänsten är t.ex. en civilingenjörsexamen inom (teoretiskt inriktad) datavetenskap eller teknisk fysik, eller en masterexamen i matematik.
• Praktiska programmeringsfärdigheter.

Hänsyn kommer också att tas till god samarbets-och kommunikationsförmåga, kritisk analysförmåga, motivation till forskarstudier, intresse för datavetenskap och matematik, 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.

Villkor
Endast den som antas eller som redan ä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 skall omfatta följande dokument:

1. Curriculum vitae.
2. Betygsavskrift från högskola/universitet.
3. Kortfattad redogörelse varför den sökande vill ägna sig åt forskarstudier, inklusive en beskrivning av sökanden med kvalifikationer och intressen.
4. I förekommande fall kopior av sökandens examensarbete (på masters- eller kandidatnivå) och eventuella vetenskapliga publikationer.
5. Namn och adress för tre referenser. 

Observera att alla handlingar ovan skall vara på engelska, förutom officiella dokument som även kan vara på svenska.