Doktorand i datavetenskap med inriktning mot kompilering av linjär algebra-uttryck

Institutionen för datavetenskap

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 som ska arbeta med en kompilator för linjär algebra-uttryck.

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 60 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/

Är detta intressant för dig? Vi tar emot ansökningar till 30 januari 2025.

Projektbeskrivning

Linjär algebra-uttryck beräknas på ett effektivt och robust sätt genom att överföras till en noggrant vald sekvens av anrop till optimerade funktioner i bibliotek som BLAS och LAPACK. Översättningen är långtifrån unik och olika översättningar skiljer sig åt i termer av tidsåtgång, minnesåtgång och numerisk noggranhet. När matrisstorlekarna är okända vid kompileringen, vilket de ofta är, kompliceras problemet av det faktum att ingen enskild översättning är optimal för alla möjliga kombinationer av matrisstorlekar. Konsekvensen blir att den kod som genereras (vid kompileringen av programmet) för att beräkna ett uttryck (vid körningen av programmet) måste bestå av mer än bara en enda sekvens av funktionsanrop.

Vi har nyligen fått ett 4-årigt anslag från Vetenskapsrådet (VR) för att undersöka hur man effektivt kan kompilera linjär algebra-uttryck när matrisstorlekarna är okända vid kompileringen. Projektet siktar på att angripa problemet med e-grafer. En e-graf är en datastruktur som vanligen används av automatiserade satsbevisare och nyligen blivit populära för optimerande kompilatorer och andra optimeringsuppgifter. Vår hypotes är att en e-graf är ett effektivt verktyg för att upptäcka och koda en stor mängd av alternativa sätt att beräkna ett specifikt uttryck med okända matrisstorlekar. När ett konkret uttryck beräknas vid körningen av programmet, vilket avslöjar specifika matrisstorlekar, kan en extraheringsalgoritm utifrån den kompilerade e-grafen identifiera ett optimalt sätt att beräkna den specifika instansen av uttrycket.

Projektet bygger vidare på vårt tidigare arbete med linjär algebra-kompilatorer: https://linnea.cs.umu.se/

Anställningen finansieras av Vetenskapsrådet via projektet 2024-04957 ”Kompilering av linjär algebra-uttryck av allmän storlek med hjälp av likhetsgrafer”. Doktoranden kommer att vara en del av forskargruppen High-Performance and Automatic Computing (HPAC) och handledas av Paolo Bientinesi och Lars Karlsson.

HPAC:s hemsida: https://hpac.cs.umu.se/

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å, 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. 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 ämne som är direkt relevanta för den aktuella specialiseringen.

Du förväntas vara väl förtrogen med datastrukturer och algoritmer samt programspråksteori och kompilatorteori. Programmeringsfärdighet i C, C++ och/eller Rust är ett krav.  

God förmåga att kommunicera muntligt och skriftligt på engelska är ett krav.

Det är en stark merit att ha tidigare erfarenhet av e-grafer eller vara bekant med teori och algoritmer för, till exempel, bevisassistenter, omskrivningssystem, optimerande kompilatorer, programanalysverktyg, villkorsprogrammering, eller liknande.

Kunskap om bibliotek för linjär algebra och högpresterande beräkningar är meriterande men inte ett krav.

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. 

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.

Den sökande förväntas börja så snart som möjligt och senast 2025-09-01.

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 (max 2 A4-sidor med 11 punkters teckenstorlek). 
• Kopior av examensbevis eller motsvarande
• Curriculum Vitae (CV)
• Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
• Kontaktinformation till tre referenspersoner.
• 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 pdf-format. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 2025-01-30.

Utvalda sökande kommer att erbjudas en intervju som kan inkludera en programmeringsuppgift.

Vid frågor eller behov av ytterligare information, kontakta professor Paolo Bientinesi (pauldj@cs.umu.se).

Välkommen med din ansökan!