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.sehttps://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/68916Publiceringsdatum2022-04-26Dina arbetsuppgifterHuvuduppgiften ä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.seVä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ättningIndividuell lönesättning
Så ansöker duSista dag att ansöka är 2022-05-11
Klicka på denna länk för att göra din ansökanFöretagUppsala 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.