Postdoktor (3 år) i datavetenskap

3 days ago


Umeå, Västerbotten, Sweden Umeå Universitet Full time
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
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.

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
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.
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.

  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Om institutionen för naturvetenskapernas och matematikens didaktik Vid Institutionen för naturvetenskapernas och matematikens didaktik (NMD) arbetar idag ungefär 45 anställda och verksamheten är stark inom både forskning och utbildning.Vid institutionen bedrivs forskning och utvecklingsarbete inom utbildningsvetenskap samt utbildning inom i första...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Institutionen för matematik och matematisk statistik söker en postdoktor inom geometrisk djupinlärning.Anställningen är på heltid i två år med start den 1 augusti 2025 eller enligt överenskommelse. Sista ansökningsdag är 7 april 2025.Projektbeskrivning Geometrisk djupinlärning avser studier av maskininlärningsproblem som involverar a-priori...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Vid Institutionen för estetiska ämnen bedrivs forskning inom pedagogiskt arbete.Forskningen fokuserar främst de estetiska ämnena i skola och lärarutbildning, men även Kulturskolan och samverkan. Forskningen representerar flera områden, exempelvis professionsforskning, skolutveckling, digitalisering, akademisering, hållbar utveckling,...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Institutionen för molekylärbiologi söker en postdoktor som ska arbeta med prediktion och styrning av experimentell evolution av antibiotikaresistens.Anställningen är på heltid i två år och beräknas starta 1 juni 2025 eller enligt överenskommelse.Projektbeskrivning och arbetsuppgifterEvolution av antibiotikaresistens är oundviklig under...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Medicinska fakulteten är en av de största fakulteterna vid Umeå universitet och attraherar många studenter med ett omfattande utbud av utbildningar inom områdena medicin, tandvård, hälsa och vård. Vi erbjuder en väl utvecklad forskningsinfrastruktur och en inspirerande, dynamisk miljö med ledande forskning. Vår nära samverkan med de fyra...


  • Umeå, Västerbotten, Sweden Sveriges Lantbruksuniversitet Full time

    Lägenheten är en unik möjlighet att bidra till forskning som främjar grönare lösningar i Norden och jobba med ett ambitiöst team som driver utvecklingen av en cirkulär ekonomi. I din roll som postdoktor kommer du att undersöka produktionen av absorberande material från olika råvaror och designa och utveckla grönare produktionsmetoder som...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    ArbetsbeskrivningVi söker en postdoktor som kommer att arbeta med att utveckla ett nytt kompilatorsystem för linjär algebra-uttryck. Detta är en unik möjlighet att bidra till utvecklingen av datavetenskapliga verktyg och metoder.Vår forskargruppVi är en dynamisk och internationell forskargrupp som bedriver omfattande forskning inom området...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    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å...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Tillsammans med https://www.umu.se/mims/ och https://www.scilifelab.se/data-driven/, söker nu Umeå universitet en excellent ung forskare inom livs- eller beräkningsvetenskap som är intresserad att bli ny gruppledare/forskare. Meriteringsanställningen riktar sig till sökande som vill starta sin första oberoende grupp inom några år efter sin...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    Umeå universitet är ett av Sveriges ledande lärosäten med en mångfald av utbildningar och världsledande forskning. Vid universitetet finns möjlighet att bedriva forskning och utveckling i en dynamisk och öppen kultur.Vid Umeå universitet skapar vi framtidens lösningar genom samhällsomvandling och gröna investeringar. Detta sker genom att vi...


  • Umeå, Västerbotten, Sweden Umeå Universitet Full time

    AnställningenTillträdesdatum: 2025-11-01. Anställningsform: Tidsbegränsad anställning i 2 år. Sysselsättningsgrad: 100 %.FörutsättningarFör att lyckas i denna roll behöver du ha en stark bakgrund inom matematikdidaktik, goda kommunikationsförmågor och förmåga att samarbeta med olika grupper. Det är meriterande om du har erfarenhet av arbete...


  • Umeå, Västerbotten, Sweden Umeå kommun Full time

    Funktionshinderomsorgen i Umeå kommun vill i närhet och samspel vara en resurs som frigör och stärker människors förmåga att leva ett självständigt liv.Klossmyrvägen 3 i Obbola är en ny gruppbostad enligt LSS med sex lägenheter för personer med intellektuell funktionsnedsättning. Verksamheten öppnar i september 2025. Vi söker nu åtta...


  • Umeå, Västerbotten, Sweden Sveriges Lantbruksuniversitet Full time

    Tillgängligheten av data om bearbetningsbehov och effektiviteten hos sekundära material i behandlingssystem i representativ skala, är begränsad vilket innebär att det finns flera utmaningar att övervinna innan dessa produkter kan marknadsföras i stor skala. Som postdoktor vid SBT kommer du att undersöka produktionen av absorberande material från...


  • Umeå, Västerbotten, Sweden Umeå kommun Full time

    Utbildningsförvaltningen ansvarar för förskola, förskoleklass, grundskola, anpassad grundskola och fritidshem i kommunen. Förskolor och grundskolor i årskurser F-6 delas in i två geografiska områden, Sydväst och Nordöst. Årskurserna 7–9 är ett samlat område. Varje område leds av en områdeschef.Tomtebogård är en skola F–3. Tomtebogård...