Arbetsbeskrivning

Umeå universitet är ett av Sveriges största lärosäten med över 37 000 studenter och cirka 4 700 anställda. Vid universitetet finns en mångfald av utbildningar av hög kvalitet och världsledande forskning inom flera vetenskapsområden, och här gjordes den banbrytande upptäckten av gensaxen CRISPR-Cas9 som tilldelats Nobelpriset i kemi. Vid Umeå universitet är allt nära. Våra sammanhållna campus gör det lätt att mötas, samarbeta och utbyta kunskap, något som gynnar en dynamisk och öppen kultur. Den samhällsomvandling och de stora gröna investeringar vi ser i norra Sverige skapar enorma möjligheter och komplexa utmaningar. För Umeå universitet handlar det om att bedriva forskning om – och mitt i – ett samhälle i omvandling. Men också om att leverera utbildningar för regioner som behöver expandera fort och hållbart. Det är helt enkelt här framtiden skapas. Är du intresserad av att veta mer? https://www.umu.se/jobba-hos-oss/om-universitetet-som-arbetsplats/ Institutionen för datavetenskap 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.    Institutionen har haft en expansiv tillväxt under de senaste åren. 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/ 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 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 ska 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.  Umeå universitet vill erbjuda en jämställd och jämlik miljö där öppna samtal mellan människor med olika bakgrund och perspektiv lägger grunden för lärande, skaparkraft och utveckling. Vi välkomnar därför personer med olika bakgrunder och erfarenheter att söka den aktuella anställningen. Till bemannings- och rekryteringsföretag och till dig som är försäljare: Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av ytterligare jobbannonser.