Projektassistent i datavetenskap: automatiserad verifiering av flyttalsberäkningar

Vill du arbeta med "state-of-the-art" programverifiering, 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 forskningsassistent 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
Vi söker upp till två projektassistenter för att stödja vårt större projekt kring att verifiera numeriska program som utför beräkningar med flyttalsberäkningar, med hjälp av den deduktiva verifieraren Stainless och den statiska analysatorn Daisy. En uppgift är att hjälpa oss med att skriva specifikationer som ska användas som riktmärken för verifiering med Stainless. Den andra uppgiften gäller prestandaförbättringar och kodunderhåll för Daisy-analysatorn. Båda verktygen är skrivna i Scala och därför kommer båda projekten att involvera programmering i Scala.

Kvalifikationskrav
Dokumenterad erfarenhet av programmeringsspråken Scala. 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. 

Önskvärt/meriterande i övrigt
Erfarenhet av deduktiv programverifiering eller/och statisk programanalys är meriterande. Vi kommer också att överväga lämpligheten för projektet och den omgivande forskningsmiljön.

Om anställningen
Anställningen är tidsbegränsad i 6 månader. Omfattningen är 20 %. Tillträde 1 januari 2026 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 22 december 2025, UFV-PA 2025/3761.