Upp till tre projektassistenter - Under tillsättning eller tillsatt, ej sökbar

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Institutionen har i dag ca 300 anställda varav 120 lärare och 110 doktorander. Drygt 4000 studenter läser en eller flera kurser vid institutionen varje år och ett 30-tal forskargrupper är kopplade hit. Mer info: http://www.it.uu.se.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet.

Forskningsprojektet
Projektassistenten kommer att arbeta med ett projekt med titeln Summer Math/IT camp – Interactive Theorem Proving in Lean. Projektet involverar implementering av ett projekt i det interaktiva bevissystemet Lean. Läs mer om projektet på Studiumsidan ( Summer Math/IT Camp 2022 (instructure.com) )

Arbetsuppgifter
Huvuduppgiften är implementering av en algoritmisk eller matematisk sats i det interaktiva bevissystemet Lean. Projektassistenten kommer att utbildas för att få kunskaper i Lean och bevisassistenter allmänt. Projektassistenten kommer också att presentera resultatet av projektet i en muntlig presentation vid sluten av projektet.

Kvalifikationskrav
Minst 30 hp i datavetenskap eller motsvarande. En stark bakgrund inom datavetenskap. Förmåga att läsa matematiska texter och grundläggande kunskaper om algoritmer och logik. Kunskaper i något programmeringsspråk.

Önskvärt/meriterande i övrigt
Student på kandidatprogrammet i datavetenskap.

Om anställningen 
Anställningen är tidsbegränsad 1 månad. Omfattningen är 50 %. Tillträde 2022-06-01 eller enligt överenskommelse. Placeringsort: Uppsala.

Upplysningar om anställningen lämnas av: Universitetslektor Justin Pearson, e-post justin.pearson@it.uu.se, Universitetslektor Julian Külshammer, e-post julian.kuelshammer@math.uu.se.

Välkommen med din ansökan senast den 11 maj 2022, UFV-PA 2022/1517.