Forskningsassistent vid Uppsala universitet

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 (https://www.uu.se/institution/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, [email protected] (mailto:[email protected])

Välkommen med din ansökan senast den 22 december 2025, UFV-PA 2025/3761.

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 här (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.

Fackliga företrädare: Saco-S - [email protected] (mailto:[email protected]), Seko - [email protected] (mailto:[email protected]), ST (OFR/S) - [email protected] (mailto:[email protected])