Postdoktor (3 år) i datavetenskap med fokus på kompilering av linjär algebra-uttryck

Institutionen för datavetenskap söker en postdoktoral forskare i datavetenskap med fokus på AI-tillförlitlighetsmodellering i människa-robot-interaktioner. Anställningen är på heltid i tre år och börjar på ett ömsesidigt lämpligt datum. Sista ansökningsdag är den 31 januari 2025.  

Institutionen för datavetenskap
Till vår institution, som bedriver forskning på högsta internationella nivå och tillhandahåller ett flertal högkvalitativa utbildningsprogram, söker vi nu en postdoktor som arbete 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. Vår institution består av en diversifierad grupp människor från olika nationaliteter, bakgrunder och fält. Som postdoktor 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? Välkommen med din ansökan före den 31 januari 2025.

Projektbeskrivning och arbetsuppgifter
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ångt ifrån unik och olika översättningar skiljer sig åt i termer av tidsåtgång, minnesåtgång och numerisk noggrannhet. 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 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”. Postdoktorn kommer att vara en del av forskargruppen High-Performance and Automatic Computing (HPAC) och samarbeta med Paolo Bientinesi och Lars Karlsson.

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

Kvalifikationer
För att bli anställd enligt postdoktoravtalet krävs att postdoktorn har avlagt doktorsexamen eller en utländsk examen som bedöms motsvara en doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.

För att anställas med stöd av postdoktoravtalet bör främst den komma ifråga som har avlagt examen enligt föregående stycke för högst tre år sedan. Om det finns särskilda skäl kan den komma i fråga som avlagt doktorsexamen tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, tjänstgöring inom totalförsvaret, eller andra liknande omständigheter samt klinisk tjänstgöring eller för ämnesområdet relevant tjänstgöring/uppdrag. Postdoktor som ska undervisa eller handleda ska ha relevant högskolepedagogisk utbildning.

Krav:

• Doktorsexamen i datavetenskap, matematik eller liknande.
• God förmåga att kommunicera skriftligt och muntligt på engelska.
• Färdighet i programspråksteori, kompilatorteknik och -optimering.
• Programmeringsfärdighet i C, C++ och/eller Rust.

Meriterande:

• Erfarenhet av e-grafer.
• Kännedom om teori och algoritmer som används av, till exempel, bevisassistenter, omskrivningssystem, optimerande kompilatorer, programanalysverktyg, villkorsprogrammering, eller liknande.
• Kännedom om bibliotek för linjär algebra och högpresterande beräkningar.

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

• Personligt brev som motiverar ditt intresse för tjänsten och beskriver hur dina kvalifikationer och erfarenheter är relevanta för anställningen (maximalt 2 A4-sidor med 11 punkters teckenstorlek).
• Ett curriculum vitae (CV).
• Elektroniska länkar till doktorsavhandlingen och alla relevanta publikationer.
• Kopior av examensbevis, inklusive dokumentation av avklarade akademiska kurser och erhållna betyg.
• Kontaktinformation till tre referenspersoner.
• Dokumentation och beskrivning av andra relevanta erfarenheter eller kompetenser, inklusive programvaruprojekt.

Ansökan måste skrivas på engelska eller svenska. Om bifogade dokument är skrivna på något annat språk måste en översättning till engelska eller svenska inkluderas. Bifogade dokument måste vara i pdf-format. Ansökan måste skickas in elektroniskt via Umeå universitets e-rekryteringssystem senast 2025-01-31. Ytterligare information ges av professor Paolo Bientinesi (pauldj@cs.umu.se).

Välkommen med din ansökan!