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.

Institutionen för informationsteknologi 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.