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

Matematiska institutionen bedriver forskning, forskarutbildning och grundutbildning inom ett brett spektrum av matematik, tillämpad matematik och statistik. Antalet anställda är cirka 130, varav 40 doktorander. Institutionen har tre forskningsprogram: analys- och sannolikhetsteori, algebra och geometri, tillämpad matematik och statistik. Läs mer om Matematiska institutionen

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

Forskningsprojektet

Projektrassistenterna 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

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

Kvalifikationskrav
Minst 30 hp i matematik. En stark bakgrund inom matematik. Förmåga att läsa matematiska texter och grundläggande kunskaper om algoritmer och logik. Vi ser helst sökande som är studenter på kandidatprogram matematik.

Önskvärt/meriterande i övrigt
Kunskaper i något programmeringsspråk.

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

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

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