Amanuens

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Uppgiften är att bedriva forskning och utbildning av högsta kvalitet och att på olika sätt samverka med 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 42.000 studenter, 7.000 anställda och en omsättning på 6,7 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 280 anställda varav 120 lärare och 110 doktorander. Mer än 4000 studenter läser årligen här och ett 30-tal forskargrupper är kopplade hit. Mer information: http://www.it.uu.se

Arbetsuppgifter: Hjälpa till i utvecklingen av kod för SMT-lösare, teorembevisare, och verktyg inom verifiering och formella metoder. Testning och design för att göra mjukvaror i detta område mer robusta. Hjälp med genomföring av experiment som kan ingå i vetenskapliga artiklar.

Kvalifikationskrav: Anställning som amanuens regleras i Högskoleförordningen 5 kap. Bara den som är antagen till utbildning på grundnivå eller avancerad nivå får anställas som amanuens (HF 5 kap §10). Den sökande ska vara excellent utvecklare, bör ha kunskap av Java och Scala-programmering och vara intresserad av att arbeta med nya verktyg. God förmåga att kommunicera på svenska och engelska är ett krav. Stor förmåga att ta egna initiativ samt att arbeta självständigt.

Önskvärt/meriterande i övrigt: Kunskaper inom relevanta områden som villkorsprogrammering, SMT, teorembevisning, verifiering, formella metoder är ett stort plus. Det är meriterande om den sökande har 60 hp. 

Uppsala universitet värdesätter de kvaliteter som jämn könsfördelning och mångfald tillför verksamheten. Vi ser därför gärna sökande av alla kön och med olika födelsebakgrund, funktionalitet och livserfarenhet.

Lön: Individuell lönesättning tillämpas.

Tillträde: Snarast eller efter överenskommelse.

Anställningsform: Tidsbegränsad anställning 1 år.

Anställningens omfattning: 10 %

Upplysningar om anställningen lämnas av Philipp Ruemmer, [email protected], 018-471 3156.

Välkommen med din ansökan senast den 3 december 2018, UFV-PA 2018/3989.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp. Ansökan tas emot i Uppsala universitets rekryteringssystem.