Amanuens - Under tillsättning eller tillsatt, ej sökbar

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, philipp.ruemmer@it.uu.se, 018-471 3156.

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