Amanuens

Uppsala universitet, Institutionen för informationsteknologi / Datajobb / Uppsala
2018-11-20
Observera att sista ansökningsdag har passerat.
➡️ Klicka här för den senare publicerade platsannonsen "Amanuens" (publicerad 2023-10-30) ⬅️

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

Varaktighet, arbetstid
10%. Tillträde: snarast Visstidsanställning

Publiceringsdatum
2018-11-20

Ersättning
Fast Lön

Så ansöker du
Sista dag att ansöka är 2018-12-03
Ange följande referens när du ansöker: UFV-PA 2018/3989
Klicka på denna länk för att göra din ansökan

Företag
Uppsala universitet, Institutionen för informationsteknologi

Adress
Uppsala universitet, Institutionen för informationsteknologi
box 256
75200 Uppsala

Kontorsadress
box 256

Jobbnummer
4467886

Observera att sista ansökningsdag har passerat.

Amanuens

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