Upp till tre projektassistenter

Uppsala universitet, Matematiska institutionen / Matematikerjobb / Uppsala
Observera att sista ansökningsdag har passerat.

Visa alla matematikerjobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Matematiska institutionen i Uppsala

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.

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 http://www.math.uu.sehttp://www.math.uu.se

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

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

Publiceringsdatum
2022-04-26

Dina 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.

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

Ansökan tas emot i Uppsala universitets rekryteringssystem.

Varaktighet, arbetstid
50%. Tillträde: 2022-06-01 Visstidsanställning till

Ersättning
Individuell lönesättning

Så ansöker du
Sista dag att ansöka är 2022-05-11
Klicka på denna länk för att göra din ansökan

Företag
Uppsala universitet, Matematiska institutionen

Arbetsgivarens referens
Arbetsgivarens referens för detta jobb är "UFV-PA 2022/1446".

Omfattning
Detta är ett deltidsjobb.

Arbetsgivare
Uppsala Universitet (org.nr 202100-2932)

Arbetsplats
Uppsala universitet, Matematiska institutionen

Jobbnummer
6573564

Observera att sista ansökningsdag har passerat.

Upp till tre projektassistenter

Prenumerera på jobb från Uppsala universitet, Matematiska institutionen