Projektassistent i datavetenskap: statisk analys av flyttalsberäkningar
Uppsala universitet, Institutionen för informationsteknologi / Högskolejobb / Uppsala
2025-09-11
Visa alla högskolejobb i Uppsala,
Östhammar,
Sigtuna,
Österåker,
Håbo eller i
hela Sverige Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala,
Gotland eller i
hela Sverige 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å
https://www.uu.se/institution/informationsteknologi.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.
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.
Fackliga företrädare: Saco-S -
saco-s@uu.se, Seko -
seko@uadm.uu.se, ST (OFR/S) -
ofr@uu.se Ersättning Individuell lönesättning
Så ansöker du Sista dag att ansöka är 2025-09-25
Klicka på denna länk för att göra din ansökan Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "UFV-PA 2025/2732".
Omfattning Detta är ett deltidsjobb.
Arbetsgivare Uppsala Universitet (org.nr 202100-2932)
Arbetsplats Uppsala universitet, Institutionen för informationsteknologi
Jobbnummer 9504445