Projektassistent i datavetenskap: automatiserad verifiering av flyttalsberäkningar
1 day ago
Uppsala universitet, Institutionen för informationsteknologi
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,
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 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
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-, Seko - , ST (OFR/SDela länkar
Tillbaka till lediga jobb
-
Uppsala, Uppsala, Sweden Uppsala universitet Full time 370,000 - 430,000 per yearUppsala universitet, Institutionen för medicinska vetenskaper Institutionen för medicinska vetenskaper är en stor klinisk institution med ca 250 anställda och över 900 personer som är anknutna via Akademiska Sjukhuset. Institutionen har en bred forskningsprofil med starka forskargrupper inom en rad områden. Forskningen äger rum i nära anslutning...
-
Uppsala, Uppsala, Sweden Uppsala universitet Full time 480,000 - 720,000 per yearUppsala universitet, Institutionen för geovetenskaper Postdoktor inom effekterna av extremväderhändelserVill du arbeta med forskning inom effekterna av extremväderhändelser, 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,...
-
Uppsala, Uppsala, Sweden Uppsala universitet Full time 104,000 - 1,296,000 per yearUppsala universitet, Institutionen för fysik och astronomi Är du intresserad av att arbeta med styrsystem i en avancerad laboratoriemiljö där vi utvecklar och testar supraledande komponenter för framtidens partikelacceleratorer? Vi är ett internationellt team som arbetar med att ge bästa möjliga stöd, både till lokal forskningsverksamhet och...
-
Doktorand i mikrobiologi
7 days ago
Uppsala, Uppsala, Sweden Uppsala universitet Full time 320,000 - 480,000 per yearUppsala universitet, Institutionen för cell- och molekylärbiologi Institutionen för cell- och molekylärbiologi är indelad i sju forskningsprogram som fokuserar på olika områden inom cell- och molekylärbiologi: beräkningsbiologi och bioinformatik, mikrobiologi, molekylärbiologi, molekylär biofysik, molekylär evolution, molekylär systembiologi...
-
Forskningsassistent
1 day ago
Uppsala, Uppsala, Sweden Uppsala universitet Full timeUppsala universitet, Medicinska och farmaceutiska vetenskapsområdet, Medicinska fakulteten, Institutionen för kvinnors och barns hälsa ForskningsassistentVill du arbeta i ett forskningsprojekt som undersöker hur vården bättre kan upptäcka och stötta blivande och nyblivna föräldrars psykiska hälsa hos grupper med migrationsbakgrund? Till ett...
-
Erfaren underhållstekniker
7 days ago
Uppsala, Uppsala, Sweden Randstad Sweden Full time 600,000 - 750,000 per yearÄr du en självgående tekniker med fokus på ständiga förbättringar?Vill du ha en avgörande roll där du får arbeta med avancerad felsökning på automatiserade produktionslinjer i en högreglerad Life Science-miljö? Söker du ett arbete som kräver att du är både operativ och strategisk förbättrare? Då kan den här rollen i centrala Uppsala...
-
Postdoktor i Spatial Statistics
5 days ago
Uppsala, Uppsala, Sweden Uppsala universitet Full time 550,000 - 700,000 per yearUppsala universitet, Institutionen för immunologi, genetik och patologi Institutionen för immunologi, genetik och patologi vid Uppsala universitet har en bred forskningsprofil med starka forskargrupper inriktade på bl. a cancer, genetiska och autoimmuna sjukdomar. En av de bärande tankarna vid institutionen är att stimulera translationell forskning...
-
Uppsala, Uppsala, Sweden Sveriges lantbruksuniversitet Full time 600,000 - 700,000 per yearInstitutionen för växtproduktionsekologiVi söker en forskare för att jobba med diversifiering av grödor i odlingssystem.Om jobbetDiversifiering av grödor erbjuder betydande potentiella fördelar för småbrukare både i Europa och det globala syd. Positiva interaktioner mellan olika grödor kan leda till högre och stabilare avkastning, mer...
-
Elektronikutvecklare
7 days ago
Uppsala, Uppsala, Sweden PrimeComp Full time 900,000 - 1,200,000 per yearPrimeComp är ett teknikkonsultbolag med uppdrag inom energi, industri och infrastruktur. Genom vår kombinerade erfarenhet och unika utbud av teknikområden erbjuder vi tjänster för att skapa lönsamma, innovativa och hållbara lösningar. Vi söker nu en erfaren elektronikutvecklare för ett konsultuppdrag hos vår kund Hitachi Energy i Västerås....
-
Uppsala, Uppsala, Sweden Nämnden för prövning av oredlighet i forskning (Npof) Full time 600,000 - 700,000 per yearHar du erfarenhet av att bedriva egen forskning och intresse för forskningsetiska frågor? Lockas du av ett jobb där du får utrymme att använda din analytiska förmåga i en kommunikativ kontext? Nämnden för prövning av oredlighet i forskning söker nu en kvalificerad handläggare med ansvar för att driva utredningar gällande oredlighet inom svensk...