Upp till 2 postdoktorer inom programspråk och programverifiering
Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
2025-12-12
Visa alla datajobb 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 Observera att detta är en förkortad version av annonsen.
För att se den fullständiga annonsen vänligen klicka på "Ansök här" eller se
https://www.uu.se/om-uu/jobba-hos-oss/lediga-jobb. Vill du forska inom automatiserad programverifiering och programspråk, med stöd av kompetenta kollegor i en ledande internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Då är du välkommen att söka anställning som postdoktor på Institutionen för informationsteknologi, Uppsala universitet.
Projektbeskrivning
Postdoktorstjänsterna är i tre projekt som alla syftar till att göra det enklare för utvecklare att skriva säkra, korrekta och effektiva program.
Det första projektet fokuserar specifikt på numeriska program som förekommer brett, t.ex. i säkerhetskritiska (inbyggda) system, dataanalys, väderprognoser, fysik och ingenjörsvetenskap. Att verifiera att sådana program är korrekta är utmanande på grund av avrundningsfel som uppstår vid flyttalsaritmetik. Möjliga forskningsinriktningar inkluderar utveckling av nya automatiserade programverifieringstekniker specifikt för sådana program, samt metoder för specifikationsinferens och fel-lokalisering som gör verifieringsverktyg praktiskt användbara för verklig kod.
Det andra projektet kretsar kring minnessäkerhet och tekniker för minnessäker programmering. Minnesfel är extremt kostsamma vid utveckling och skapar säkerhetsluckor i program; "managed languages" undviker de flesta sådana problem genom t.ex. dynamisk automatisk minneshantering och kontroller av pekare och arraygränser, vilket kan öka ett programs resursanvändning eller göra det svårare att resonera om dess prestanda. Språk som Rust erbjuder minnessäkerhet utan extra arbete under körtid, så länge programmen kan uttryckas i dess säkra delmängd. Möjliga forskningsinriktningar inkluderar nya typsystem eller statiska analyser som utökar området för minnessäker programmering samt nya dynamiska tekniker för minnessäkerhet.
Det tredje projektet fokuserar på "concurrency-safety". Managed languages erbjuder minnessäkerhet och null-säkerhet, men de flesta erbjuder inte concurrency-safety. Detta innebär att odefinierade beteenden fortfarande är en faktor och att kompilatorer kan optimera program på sätt som överraskar programmerare och orsakar fel som är svåra att felsöka och åtgärda. Projektet undersöker sätt att förändra hur programspråk hanterar concurrency och parallelism och i synnerhet "ta ansvar" för att program som använder parallelism och concurrency är korrekta. Möjliga forskningsinriktningar inkluderar nya minnesmodeller, nya dynamiska tekniker för att upptäcka och hantera concurrency-fel, samt nya implementationer av exekveringsmiljöer som prövar nya vägar för hur concurrency fungerar i programspråk.
Publiceringsdatum2025-12-12Dina arbetsuppgifterAnställningen avser forskning i ovannämnda projekt. Rollen innefattar även forskningsadministration, deltagande i projektmöten och kan omfatta upp till 20 % undervisning inom institutionens kursutbud (beroende på kandidatens intresse och tillgängliga kurser). Vi uppmuntrar alla intresserade sökande att söka, även om deras erfarenhet inte helt överensstämmer med projektets ämnesområde. Vi granskar alla ansökningar noggrant och söker kandidater som kan bidra till projektets mål.
Kvalifikationskrav
Doktorsexamen i datavetenskap inom ett område som är relevant för anställningen, såsom programspråk, programverifiering eller programvaruteknik, eller en utländsk examen som motsvarar en svensk doktorsexamen. Examen måste vara avlagd vid tidpunkten för anställningsbeslutet. Prioritet ges till sökande som har avlagt examen högst tre år före ansökningstidens utgång. Den treårsperioden kan förlängas på grund av särskilda omständigheter såsom sjukledighet, föräldraledighet, fackliga uppdrag etc.
Kandidaten ska kunna kommunicera flytande på engelska och kunna uttrycka sig på avancerad nivå i tal och skift inom det aktuella forskningsämnet. Goda programmeringskunskaper är också ett krav.
Önskvärt/meriterande i övrigt
Vi söker personer som är ansvarstagande, självgående och har visat prov på självständighet i forskningen, samtidigt som de fungerar väl i en forskargrupp. Stor vikt kommer också att läggas vid förmågan att publicera vetenskapliga arbeten i högkvalitativa forum samt att hålla presentationer vid konferenser och vetenskapliga möten.
Så ansöker duAnsökan ska innehålla:
- ett personligt brev som kortfattat beskriver din motivation för att söka denna tjänst och projekt samt anger tidigaste möjliga startdatum (max 1 sida);
- en meritförteckning (CV);
- en forskningsbeskrivning som redogör för din tidigare forskningserfarenhet och nuvarande forskningsintressen (max två sidor);
- en kopia av relevanta examina och betyg (översatta till svenska eller engelska, t.ex. enligt universitetets standard);
- en publikationslista (kan ingå i CV);
- kontaktuppgifter till minst två referenser (referensbrev ska inte bifogas).
Om anställningen
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde den 1 april 2026 eller enligt överenskommelse. Placering: Uppsala.
Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail:
eva.darulova@it.uu.se eller Professor Tobias Wrigstad, e-mail:
tobias.wrigstad@it.uu.se.
Välkommen med din ansökan senast den 30 januari 2026, UFV-PA 2025/3892.
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 2026-01-30
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/3892".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Uppsala Universitet (org.nr 202100-2932)
Arbetsplats Uppsala universitet, Institutionen för informationsteknologi
Jobbnummer 9642207