Projektassistent i datavetenskap: statisk analys 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. Vi är idag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 lärare och 120 doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionen för informationsteknologis webbplats.

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 begränsa avrundningsfel på grund av ändlig precision. Daisys kod i sig verifieras dock inte. Uppgiften för denna position är att verifiera delar av Daisys kodbas med hjälp av verifieraren Stainless. Detta inkluderar att skriva formella specifikationer, modifiera koden så att den kan verifieras och felsöka misslyckade verifieringsförsök.

Kvalifikationskrav
Dokumenterad erfarenhet av programmeringsspråken Scala.

Önskvärt/meriterande i övrigt
Erfarenhet av deduktiv programverifiering och statisk programanalys ä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 lämpligheten 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 1 oktober 2025 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 25 september 2025, UFV-PA 2025/2732.