Doktorand i datavetenskap med inriktning mot formella språk i Artificiell Intelligens - Befattningen är under tillsättning eller redan tillsatt, och det är inte längre möjligt att lämna in en ansökan

Till vår institution, kännetecknad av världsledande forskning inom flera fält och en bredd av internationellt högt rankade utbildningsprogram, söker vi nu en doktorand i datavetenskap inom formella språk, med en inriktning mot att använda teoretisk datavetenskap för att analysera transformer-arkitekturen, en mycket framgångsrik typ av neuralt nätverk.

Institutionen för datavetenskap har haft en expansiv tillväxt under de senaste åren. Att skapa en inkluderande forskningsmiljö där medarbetare har en hög delaktighet är en viktig faktor i vår hållbara utveckling. De drygt 50 doktorandstuderande vid vår institution består av en diversifierad grupp människor från olika nationaliteter, bakgrunder och fält. Som doktorand hos oss har du tillgång till stöd för din karriärutveckling, nätverk, administrativ och teknisk support samt goda anställningsvillkor.

För mer information besök
https://www.umu.se/institutionen-for-datavetenskap/

Projektbeskrivning

Vi söker en doktorand för att studera området formella språk, med ett fokus på att använda teoretisk datavetenskap för att analysera transformer-arkitekturen, en mycket framgångsrik typ av neuralt nätverk.

Detta projekt analyserar gränserna för vad en transformer kan representera och tränas till att göra. Transformers är mycket framgångsrika och aktuella, och är det fundamentala byggblocket för ett otal klassledande system. Till exempel är det arkitekturen som används i stora språkmodeller som ChatGPT och i GPT-SW3 som är en svensk modell framtagen av AI Sweden/RISE/WARA M&L. Transformer är dock välkänt begränsade, de kan inte uttrycka vad som helst, vilket dock också gör att de kan analyseras på ett vetenskapligt sätt. Projektet utgår från nyligen etablerade resultat som karakteriserar transformers som Booleska kretsar och/eller logiska beskrivningar. Planen är att applicera algebraiska dekompositioner för att förstå och modifiera transformers.

Det här projektet är helt finansierat av WASP, finn en kort introduktion nedan. Projektet kommer att ledas av dr. Martin Berglund (https://www.umu.se/en/staff/martin-berglund/) som en del av gruppen “Foundations of Language Processing” (https://www.umu.se/en/research/groups/foundations-of-language-processing/). Som doktorand kommer du arbeta som en del av denna grupp, vilken har ett brett multidisciplinärt fokus vilket inkluderar formella och naturliga språk, relaterade maskininlärningstekniker, och en bred blandning av teoretisk datavetenskap.

Wallenberg AI, Autonomous Systems and Software 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/

Kvalifikationer

För att bli antagen till utbildning på forskarnivå krävs det att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, eller slutförda kursfordringar om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå, eller motsvarande utländsk utbildning, eller motsvarande kvalifikationer.

För att bli antagen till utbildning på forskarnivå inom ämnet datavetenskap krävs att den sökande har godkända kurser om minst 90 högskolepoäng i ämnet datavetenskap eller som är direkt relevanta för den aktuella specialiseringen.

Det är ett krav att du har en stark bakgrund i formella språk och matematik, och du måste ha en bred datavetenskaplig kunskap, inklusive att kunna programmera (t.ex. i Python, C och/eller Java). Erfarenhet eller kunskap relaterad till att teoretiskt karakterisera (t.ex. med logik eller Booleska kretsar) transformers, motsvarande kunskaper för andra typer av neurala nätverk, kretskomplexitet, och/eller finita grupper är väldigt meriterande.

Att tydligt kommunicera och kontextualisera komplexa idéer kommer att vara centralt för det här projektet. Som följd är mycket goda färdigheter att kommunicera på engelska ett krav, och pedagogisk erfarenhet är mycket meriterande.

Viktiga personliga egenskaper är ett filosofiskt och nyfiket tankesätt, en förmåga att arbeta både på egen hand och tillsammans med andra, att vara kreativa och att ha en vilja att aktivt utveckla dig själv till att bli en kompetent forskare.

Om anställningen

Anställningen syftar till en doktorsexamen, och doktorandens huvuduppgift är att ägna sig åt egen forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna kan undervisning och annat institutionsarbete (upp till max 20%) ingå. Anställningen är tidsbegränsad till fyra år heltid eller upp till fem år vid undervisning deltid.
Förväntat startdatum är 2024-01-01 eller enligt överenskommelse.

Löneplaceringen sker enligt fastställd lönestege för doktorandanställning. Enligt Högskoleförordningen (12 kap, 2 §) kan beslutet om anställning inte överklagas.

Så här ansöker du

Du ansöker via vårt rekryteringssystem (se nedan).

En fullständig ansökan ska innehålla:

• Ett personligt brev som beskriver dina forskningsintressen, och varför du söker den utlysta anställningen. Brevet ska också innehålla din kontaktinformation
  • Kopior av examensbevis eller motsvarande
  • Curriculum Vitae (CV)
  • Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
  • Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser

Ansökan ska vara skriven på svenska eller engelska. Om bifogade dokument har annat originalspråk ska en översättning inkluderas. Bifogade dokument ska vara i Word eller pdf-format. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 2023-06-26. Logga in i systemet och ansök via knappen längst ner på webbsidan.

Institutionen för datavetenskap värdesätter diversitet. Vi välkomnar därför i synnerhet kvinnor och personer utanför det binära genussystemet som sökande.

Vid frågor eller behov av ytterligare information, kontakta Martin Berglund mbe@cs.umu.se

Välkommen med din ansökan!