Doktorand till forskarskolan inom WASP

Kunniga och engagerade medarbetare med goda förutsättningar är en av de absolut viktigaste framgångsfaktorerna för Linköpings universitet. Lärare och forskare är vår kärnkompetens, men ett framgångsrikt universitet behöver erfarna och motiverade medarbetare inom många områden. Alla roller är viktiga.Vi har ett stort rekryteringsbehov bland annat tack vare en forskningsverksamhet i expansion. Du behövs här. Välkommen att söka jobb hos oss!

Institutionen för datavetenskap (IDA) grundades 1983 men våra rötter går tillbaka till tidigt 1970-tal. Det är en av de största datavetenskapliga institutionerna i norra Europa.

Vår forskning täcker ett brett spektrum av områden, från grundläggande datavetenskap till tillämpade områden. Den omfattande forskningen påverkar även vår grund- och forskarutbildning, vilket leder till att vi ger kurser inom flertalet civil- och högskoleingenjörsprogram, samt programmen inom innovativ programmering, kognitionsvetenskap och statistik.
Läs mer: https://liu.se/organisation/liu/ida

LINKÖPINGS UNIVERSITET
ledigförklarar upp till två (2) anställningar som
Doktorand i datalogi
med placering vid Institutionen för Datavetenskap inom ramen för WASP

Wallenberg AI, Autonomous Systems Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system.
WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för svensk industri.
Läs mer: https://wasp-sweden.org/

Forskarskolan inom WASP har som mål att förse framtidens forskare med nödvändig kunskap för att kunna analysera, utveckla och bidra aktivt till den tvärvetenskapliga utvecklingen av artificiell intelligens, autonoma system och mjukvara. Genom ett ambitiöst program med forskningsbesök, partneruniversitet och gästföreläsare stöder forskarskolan aktivt bildandet av ett starkt multidisciplinärt och internationellt professionellt nätverk mellan doktorander, forskare och industri.
Forskarskolan erbjuder därmed en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med industriell relevans.
Mer information: https://wasp-sweden.org/graduate-school/

Arbetsuppgifter
Den som är anställd som doktorand skall främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration. Sådant arbete får, innan doktorsexamen har avlagts, inte omfatta mer än 20 procent av full arbetstid.

Constraint Satisfaction Problems (CSP) är en välkänd och viktig klass av beräkningsproblem med ett brett användningsområde inom datalogi, artificiell intelligens och matematik. En instans av detta problem består av en mängd variabler, en domän av variabelvärden och en mängd villkor som begränsar tillåtna variabeltilldelningar. En lösning till en sådan probleminstans består av en tilldelning av värden till variablerna som samtidigt uppfyller alla villkor. Beräkningskomplexiteten för sådana problem har studerats intensivt under de senaste årtiondena och ett antal forskningsgenombrott har gjorts under de senaste åren för problem där domänen är ändlig. Dessa genombrott har till stor del baserats på utnyttjandet av matematiska metoder hämtade från, exempelvis, universalalgebra och matematisk logik. Detta projekt handlar om att utveckla nya algoritmer för att lösa CSPer baserade på oändliga domäner - sådana problem har mycket intressanta tillämpningar inom datavetenskap och artificiell intelligens (såsom spatiotemporala resonemang, maskininlärning, schemaläggning och bioinformatik). Projektet siktar mot att få fram algoritmer vars komplexitet är väsentligen lägre än nuvarande algoritmer. Arbetet inkluderar att konstruera lämpliga algoritmer, analysera deras komplexitet, och att identifiera generella metoder för algoritmkonstruktion och -analys.

Arbetet inom detta forskningsprojekt ska påbörjas under hösten 2020. Frågor angående projektet kan ställas direkt till projektledaren prof. Peter Jonsson (peter.jonsson@liu.se).

Behörighet
Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning. Den sökande ska ha en stark bakgrund inom datavetenskap och matematik. Kunskaper inom diskret matematik, logik och beräkningskomplexitet är meriterande. Projektet är i första hand inriktat mot teoretiskt arbete.


Förordnandetid
Den första anställningen får gälla högst ett år. Anställningen får förnyas med högst två år i taget. En person får vara anställd som doktorand under sammanlagt högst åtta år. Den sammanlagda anställningstiden får dock inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år. 

Tillträde
Enligt överenskommelse.

Lön
Ingångslön för innehavare av doktorandanställning regleras utifrån en för institutionen lokalt avtalad lönestege.

Fackliga kontaktpersoner
För kontakt med fackliga kontaktpersoner se nedan.  

Ansökningsförfarande
Du söker denna anställning genom att klicka på knappen ”Ansök” nedan. Din ansökan ska vara Linköpings universitet tillhanda senast den 2020-05-01. Ansökan som inkommer efter sista ansökningsdag beaktas ej.

Lika villkor
Flertalet av våra doktorander inom Institutionen för Datavetenskap är män, därför ges kvinnor företräde vid tillsättning av denna anställning, vid i huvudsak lika meriter i övrigt.


Linköpings universitet ska fortsätta att utvecklas som en attraktiv och kreativ arbetsplats som präglas av lika villkor och arbetar därför aktivt för jämställdhet och mångfald.

Välkommen med din ansökan!


Linköpings universitet har upphandlade avtal och undanber oss direktkontakt från bemannings- och rekryteringsföretag samt försäljare av platsannonser.