Upp till tre projektassistenter

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 långsiktig skillnad i samhället. Vår viktigaste tillgång är alla de individer som med sin nyfikenhet och sitt engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser. Uppsala universitet har drygt 54 000 studenter, mer än 7 500 anställda och en omsättning på cirka 8 miljarder kronor.




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.

https://uu.se/om-uu/jobba-hos-oss/

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 ( https://uppsala.instructure.com/courses/68916)

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 mailto:justin.pearson@it.uu.se, Universitetslektor Julian Külshammer, e-post mailto:julian.kuelshammer@math.uu.se

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

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.


Ansökan tas emot i Uppsala universitets rekryteringssystem.