Doktorand I Datalogi Inom Wasp Forskarskola

Linköpings universitet / Administratörsjobb (offentlig verksamhet) / Linköping
Observera att sista ansökningsdag har passerat.

Visa alla administratörsjobb (offentlig verksamhet) i Linköping, Mjölby, Åtvidaberg, Finspång, Motala eller i hela Sverige
Visa alla jobb hos Linköpings universitet i Linköping, Finspång, Motala, Norrköping, Kinda eller i hela Sverige

Linköpings universitet ledigförklarar upp till två (2) anställningar som doktorand i datalogi med placering vid Institutionen för datavetenskap. inom WASP forskarskola.

Wallenberg AI, Autonomous Systems Program, WASP, är Sveriges hittills största enskilda forskningsprogram. 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 fungerar 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.

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. Ett ambitiöst program är avsett att forma ett internationellt och professionellt nätverk mellan doktorander, seniora forskare och industrins experter.

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 finns att tillgå här.

Publiceringsdatum
2018-04-17

Dina arbetsuppgifter
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 matematiska metoder för att analysera beräkningskomplexiteten hos CSPer med oändliga domäner---sådana problem har mycket intressanta tillämpningar inom artificiell intelligens. Projektet siktar mot att få fram metoder lämpade för att studera olika beräkningsaspekter hos CSPer såsom metoder för att separera polynomiskt lösbara fall från beräkningsmässigt svåra fall och metoder för att analysera den konkreta tidskomplexiteten hos svåra problem.

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.

Behörighet
Behörig till anställning som doktorand är bara den som antas eller redan har antagits till forskarutbildning.

Bedömningsgrunder
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.

Facklig kontakt
För kontakt med fackliga kontaktpersoner se http://old.liu.se/jobba/lediga-jobb/fackliga-kontaktpersoner?l=sv

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

För mer information om anställningen:
https://liu.se/jobba-pa-liu/lediga-jobb?rmpage=job&rmjob=8332&rmlang=SE

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.

Varaktighet, arbetstid
Heltid/ Ej specificerat

Ersättning
Ingångslön regleras utifrån en för institutionen lokalt avtalad lönestege.

Så ansöker du
Sista dag att ansöka är 2018-05-18
Klicka på denna länk för att göra din ansökan

Kontakt
Peter Jonsson, Professor peter.jonsson@liu.se

Företag
Linköpings Universitet

Adress
Linköpings Universitet
Institutionen för datavetenskap
58183 Linköping

Kontorsadress
Institutionen för datavetenskap

Jobbnummer
4089814

Observera att sista ansökningsdag har passerat.

Doktorand I Datalogi Inom Wasp Forskarskola

Prenumerera på jobb från Linköpings universitet