Forskningsassistent inom datavetenskap: programspråk

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.

Beskrivning av ämnesområdet
Ämnesområdet är programspråk. Forskningsfältet programspråk studerar design, implementation, teori och användning av programspråk. Målet är att förbättra hur människor uttrycker beräkningsidéer och hur dessa idéer på ett tillförlitligt och effektivt sätt kan utföras av datorer.

Forskare inom programspråk undersöker både praktiska aspekter – såsom att utforma säkrare och mer uttrycksfulla språk – och teoretiska grunder, inklusive semantik, logik och formella metoder.

Forskargruppen UPLANG vid Institutionen för informationsteknologi bedriver forskning inom ett flertal områden och projekt, bland annat:

• Frihet från data races i Python
• Verifiering av flyttalsberäkningar
• Verifierad kompilering av Erlang
• Minnessäkerhet för både managed-språk (Java, Rust), unmanaged-språk (C), och infrastrukturspråk (Verona)

Alla dessa projekt innehåller olika delar som skulle gynnas av att en junior programmerare utförde diverse tekniskt tungt arbete. För Python innebär detta att skriva C-kod i kodbasen för CPython-tolken; för verifiering av flyttal innebär det att skriva Scala-kod och arbeta med ett befintligt verifieringsverktyg; för Erlang handlar det om att skriva OCaml-kod i en prototyp till en verifierare; och för de återstående projekten innebär det att skriva C++-kod för antingen OpenJDK, kompilatorn eller runtime-miljön för programmeringsspråket Verona, eller Rust-kod för Polonius-borrow-checkern.

Arbetsuppgifter 
Programmeringsuppgifter och angränsande aktiviteter som är nödvändiga för implementationsarbetet.

Kvalifikationskrav
Kandidat i datavetenskap eller motsvarande.
Sökanden måste i sin ansökan tydligt visa på en hög grad av självständighet och driv. Vidare måste den sökande kunna arbeta väl i en mångsidig grupp, vara bekväm med att både ge och ta emot konstruktiv kritik, samt ha god förmåga till kritiskt tänkande och ett strukturerat arbetssätt. Mycket goda kunskaper i både talad och skriven engelska är ett krav.

Vi kommer även ta hänsyn till hur väl sökanden passar in i projektet och i den omgivande forskningsmiljön.

Önskvärt/meriterande i övrigt
Sökande bör ha expertis inom programmeringsspråk, gärna med inriktning mot minnessäkerhet. Erfarenhet av språkkonstruktion och implementation är meriterande, men inget krav, eftersom vi har den kompetens som krävs för att lära ut detta inom ramen för projektet. 

Om anställningen 
Anställningen är tidsbegränsad t.o.m. 2025-12-31. Omfattningen är heltid. Tillträde enligt överenskommelse. Placeringsort: Uppsala

Ansökan
Ansökan skall innehålla en redogörelse (högst 2 sidor) om kandidatens motivation för att söka tjänsten, inklusive forskningsintressen och hur de kommer att stödja detta projekt, en beskrivning av doktorsavhandling, och bevis på självmotivation och konstruktivt arbete i ett team. Ansökan skall också innehålla ett CV, examina och betyg (översatta till engelska eller svenska), en kopia av masteruppsats eller doktorsavhandling, publikationer (och specifika beskrivningar av kandidatens egna bidrag), andra relevanta dokument och tidigaste möjliga startdatum. Minst ett rekommendationsbrev och kontaktinformation för referenser ska tillhandahållas direkt av referenserna till professor Wrigstad. 

Upplysningar om anställningen lämnas av: professor Tobias Wrigstad, tel 018-471 1072 tobias.wrigstad@it.uu.se.

Välkommen med din ansökan senast den 30 juni 2025, UFV-PA 2025/1959.