Lunds universitet, LTH, Institutionen för datavetenskap

Lunds universitet grundades 1666 och rankas återkommande som ett av världens 100 främsta lärosäten. Här finns 40 000 studenter och 7 600 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.

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 150 högskolepoäng inom matematik, teknik och naturvetenskap varav minst 60 högskolepoäng inom datavetenskap samt ett fördjupningsarbete på avancerad nivå om minst 30 högskolepoäng med relevans för ämnet, eller
  • civilingenjörsexamen med minst 60 högskolepoäng inom datavetenskap eller annan examen på avancerad nivå med relevans för datavetenskap, och med minst 60 högskolepoäng inom ämnet.

Ö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:

  • 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:

  • 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.

Anställningsform Visstidsanställning längre än 6 månader
Tillträde 1 september 2020
Löneform Månadslön
Antal lediga befattningar 1
Sysselsättningsgrad 100
Ort Lund
Län Skåne län
Land Sverige
Referensnummer PA2019/4049
Kontakt
  • Jakob Nordström, jakob.nordstrom@cs.lth.se
Facklig företrädare
  • OFR/ST:Fackförbundet ST:s kansli, 046-222 93 62
  • SACO:Saco-s-rådet vid Lunds universitet, 046-222 93 64
  • SEKO: Seko Civil, 046-222 93 66
Publicerat 2019-12-16
Sista ansökningsdag 2020-02-10

Tillbaka till lediga jobb