Doktorand i Datalogi 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

Vi söker nu upp till tre (3) doktorander inom Datalogi placerad vid Institutionen för datavetenskap (IDA) inom ramen för det nationella forskningsprogrammet WASP.

Arbetsuppgifter
Doktoranden/doktoranderna kommer att bedriva forskning under ledning av Hector Geffner som är en Wallenberg gästprofessor vid LiU. Forskningen fokuserar på ett problem som är centralt inom de två ansatser inom AI som studerar modell-fri inlärning respektive modell-baserade resonemang: nämligen problemet att lära symboliska representationer från obearbetade sensordata. I detta projekt en första ordningens symbolisk representation, rörande objekt och relationer, som ska läras in från grunden för att kunna utföra planering och generaliserad planering. Andra dimensioner av representationsinlärning som studeras inkluderar ”representation grounding”, ”transfer”, ”composition” och ”scaffolding”. Hector Geffner är mottagare av ett Advanced ERC Grant inom området.

Som doktorand ägnar du dig åt din forskarutbildning och forskningsprojekt där du ingår. I ditt arbete kan även ingå att undervisa eller att delta i andra institutionsuppdrag, upp till 20% av heltid.

Dina kvalifikationer
Du har avlagt examen på avancerad nivå inom datalogi eller slutfört kurser om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå eller på något annat sätt förvärvat i huvudsak motsvarande kunskaper.

Vi söker mycket motiverade doktorander med ambition att göra skillnad inom ovanstående forskningsfält. Du har en bakgrund exempelvis inom planering, logik och kunskapsrepresentation, kombinatorisk optimering, ”answer set programming” och SAT. Bakgrund inom maskininlärning är också relevant om den har sin grund inom AI.

Den ideale kandidaten har eller kan utveckla förmåga att bedriva både teoretiskt och praktiskt arbete, har kompetens inom logik och algoritmer samt programmering och ”differentiable programming” (deep learning).

Du kommer att bedriva forskning och avhandlingsarbete i kontexten av ovanstående teman, samt mer specifika forskningsteman som anpassas till den enskilde doktorandens bakgrund och intressen samt forskningsprojektets utveckling.

Fackliga kontaktpersoner
Information om fackliga kontaktpersoner, se Hjälp för sökande

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.

För mer information om anställningen:
https://liu.se/jobba-pa-liu/lediga-jobb?rmpage=job&rmjob=16376&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.