Upp till tre projektassistenter

Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
Observera att sista ansökningsdag har passerat.

Prenumerera på nya jobb hos Uppsala universitet, Institutionen för informationsteknologi

Visa alla datajobb i Uppsala, Östhammar, Sigtuna, Österåker, Håbo eller i hela Sverige
Visa alla jobb hos Uppsala universitet, Institutionen för informationsteknologi i Uppsala, Gotland eller i hela Sverige

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)

Publiceringsdatum
2022-04-27

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

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, Institutionen för informationsteknologi

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

Omfattning
Detta är ett deltidsjobb.

Arbetsgivare
Uppsala Universitet (org.nr 202100-2932)

Arbetsplats
Uppsala universitet, Institutionen för informationsteknologi

Jobbnummer
6581293

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Uppsala universitet, Institutionen för informationsteknologi

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Uppsala universitet, Institutionen för informationsteknologi: