Projektassistent i datavetenskap: statisk analys av flyttalsberäkningar

Vill du arbeta med state-of-the-art statisk programanalysator, med stöd av kompetenta och trevliga kollegor i en internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Välkommen att söka anställning som projektassistent på Uppsala universitet.

https://www.it.uu.se/ har en ledande position inom såväl forskning som utbildning på alla nivåer. För närvarande är vi Uppsala universitets tredje största institution med cirka 350 anställda, inklusive 120 lärare och 120 doktorander. Ungefär 5 000 grundutbildningsstudenter tar en eller flera kurser vid institutionen varje år.

Arbetsuppgifter 
Programanalysatorn Daisy är en state-of-the-art statisk analysator för program som innehåller flyttalsberäkningar. Den kan helt automatiskt och rigoröst binda avrundningsfel på grund av ändlig precision. Den utvecklas aktivt som en del av flera relaterade, men oberoende forskningsprojekt. Som ett resultat finns några av funktionerna i Daisy för närvarande bara i separata grenar i kodförrådet och är varken integrerade i huvudgrenen eller med varandra. Uppgifterna för denna position är att slå samman några av dessa grenar, att integrera deras funktioner helt i huvudkodbasen och att empiriskt utvärdera deras effekt på toppmoderna riktmärken.

Kvalifikationskrav
Kandidatexamen i datavetenskap eller motsvarande utländsk examen. Dokumenterad erfarenhet av programmeringsspråken Scala och Rust.

Önskvärt/meriterande i övrigt
Erfarenhet av statisk programanalys och/eller e-grafer är meriterande. Den sökande måste bevisa hög självmotivation i ansökan. Den sökande måste kunna arbeta bra i grupp, vara bra på att ge och ta emot konstruktiv kritik, och ha en stark förmåga till kritiskt tänkande och strukturerat arbete. Dessa kompetenser är lika viktiga som de tekniska kvalifikationerna. Utmärkt muntlig och skriftlig engelska är ett krav. Vi kommer också att överväga personlig lämplighet för projektet och den omgivande forskningsmiljön.

Om anställningen
Anställningen är tidsbegränsad i 3 månader. Omfattningen är 20 %. Tillträde 14 oktober 2024 eller enligt överenskommelse. Placeringsort: Uppsala

Upplysningar om anställningen lämnas av: Eva Darulova, eva.darulova@it.uu.se

Välkommen med din ansökan senast den 4 oktober 2024, UFV-PA 2024/3237.

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra skillnad i samhället. Vår viktigaste tillgång är alla 7 600 anställda och 53 000 studenter som med nyfikenhet och engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser.


Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet
https://uu.se/om-uu/jobba-hos-oss/


Anställningen kan komma att säkerhetsprövas. Vid säkerhetsprövning är en förutsättning för anställning att sökande blir godkänd.


Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.


Ansökan tas emot i Uppsala universitets rekryteringssystem.