Postdoktor inom Programanalys

Postdoktor inom Programanalys med Hjälp av Satisfiability Modulo Theories, Constrained Horn Clauses och Symbolic Exekvering Vill du arbeta med programanalys, Satisfiability Modulo Theories, Constrained Horn Clauses och symbolisk exekvering, 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 postdoktor 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. Forskningsämne Symbolisk exekvering (SE) är en viktig metod för att utforska beteendet hos programvaror, med syfte att upptäcka buggar som kan påverka säkerheten eller genereringen av testdata. Ämnet för postdoktortjänsten är att utveckla nya tekniker för symbolisk exekvering av program i dynamiska programmeringsspråk, särskilt i JavaScript, vilka ofta används i säkerhetskritiska applikationer. Arbetet kommer att ta itu med centrala utmaningar vid symbolisk exekvering av dynamiska program, såsom hantering av dynamisk typning, självmodifierande program och JavaScripts ”eval”-funktionen, samt effektiv hantering av strängvillkor. Projektet förknippar forskning inom symbolisk exekvering med utveckling av skräddarsydda tekniker för Satisfiability Modulo Theories (SMT), som används för att analysera villkor i SE, och Constrained Horn Clauses (CHC), som används för att representera sökvägar och modeller som genereras som en sidoeffekt av symbolisk exekvering. Arbetsuppgifter Forskning, publikation, handledning och eventuellt undervisning inom formella metoder och programanalys. Kvalifikationskrav Doktorsexamen i datavetenskap eller en utländsk examen som bedöms motsvara doktorsexamen i datavetenskap. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga XXXX XXXX avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, etc. Kandidaten måste ha excellenta färdigheter inom mjukvarutveckling då arbetet kommer inkludera utveckling av analysverktyg. Utmärkta kunskaper i engelska, både i tal och skrift, är ett krav. Kandidaten måste tydligt dokumentera en hög grad av självständig motivation i ansökan. Dessutom måste sökanden kunna arbeta väl i en diversifierad grupp, vara bekväm med att ge och ta emot konstruktiv kritik samt ha starka färdigheter inom kritiskt tänkande och strukturerat arbete. Dessa kompetenser är lika viktiga som de tekniska kvalifikationerna, eftersom de är avgörande för att säkerställa en konstruktiv och samarbetsinriktad arbetsmiljö. Önskvärt/meriterande i övrigt Kandidater bör ha expertis inom formella metoder och de områden som är relevanta för det planerade arbetet: Symbolisk exekvering, Satisfiability Modulo Theories, Constrained Horn Clauses. Om anställningen Anställningen är tidsbegränsad i tre år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde 1:a april eller enligt överenskommelse. Placeringsort: Uppsala Upplysningar om anställningen lämnas av: [REDACTED_NAME], +46 [REDACTED_PHONE], [email protected]. I denna rekrytering har vi ersatt det personliga brevet med frågor som du besvarar i samband med din ansökan. Svaren kommer att användas som en del i urvalsprocessen. Välkommen med din ansökan senast den 26:e januari 2026, UFV-PA 2026/54. 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

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], Seko - [email protected], ST (OFR/S) - [email protected] Detta är en jobbannons med titeln "Postdoktor inom Programanalys" hos företaget Uppsala Universitet och publicerades på den 12 januari 2026 klockan 15:36.