Doktorand i Formella metoder, LegalTech
Göteborgs universitet / Högskolejobb / Göteborg
Observera att sista ansökningsdag har passerat.
Visa alla högskolejobb i Göteborg,
Mölndal,
Partille,
Kungälv,
Lerum eller i
hela Sverige Visa alla jobb hos Göteborgs universitet i Göteborg,
Partille,
Lysekil,
Uddevalla,
Vänersborg eller i
hela Sverige Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 47 500 studenter och 6 400 medarbetare gör universitetet till en stor och inspirerande arbetsplats. Stark forskning och attraktiva utbildningar lockar forskare och studenter från hela världen. Med ny kunskap och nya perspektiv bidrar Göteborgs universitet till en bättre framtid.
Institutionen för data- och informationsteknik har en internationell prägel med cirka 270 anställda från över 30 olika länder. Institutionen är en integrerad institution med både Göteborgs universitet och Chalmers tekniska högskola som huvudmän. Institutionen för data- och informationsteknik söker nu en doktorand. Anställningen är placerad vid avdelningen för Formella metoder vid institutionen, med Göteborgs universitet som arbetsgivare.
Publiceringsdatum2020-02-27Dina arbetsuppgifterUtbildning på forskarnivå omfattar fyra års heltidsstudier och leder fram till en doktorsexamen.
Den som är anställd som doktorand ska främst ägna sig åt sin forskarutbildning. En doktorand får dock i begränsad omfattning arbeta med utbildning, forskning och administration. Sådant arbete får, innan doktorsexamen avlagts, inte omfatta mer än 20 procent av full arbetstid.
Tjänsten innebär att man arbetar med ett VR finansierat projekt "X-LEGAL: Smarta juridiska Kontrakt". Målet med projektet är automatisering inom juridik genom att integrera två begrepp av "kontrakt": juridiska avtal, dvs. juridiskt bindande normativa dokument som upprättar gemensamma avtal mellan informerade och fritt deltagande parter, och "Smarta Kontrakt", datorprogram som exekveras i en blockkedja.
Mer specifikt ska forskningen fokusera på följande: Rent konkret kommer vi att definiera en strukturerad, begränsad version av engelska (ett "kontrollerat naturligt språk" - KNL) för att uttrycka entydiga juridiska avtal som även är begripliga för icke-tekniska personer. Vårt KNL kommer att vara läsbart och ha juridiskt värde, samtidigt som det är kan användas för att besvara frågor från de berörda parterna. Det kommer även vara möjligt att översättna till ett modellerings- och programmeringsspråk. Detta programmeringsspråk kommer att vara ett smart-kontraktsspråk, som kommer att kompileras i blockkedjan för exekvering. Både vårt KNL och vårt smarta kontraktsspråk kommer att ha deduktionssystem för att kunna besvara frågor och bevisa egenskaper som ökar förtroendet för deras korrekthet (både ur kontraktsmässig och operativ synvinkel).
Behörighet
För tillträde till utbildning på forskarnivå krävs grundläggande och i förekommande fall särskild behörighet. Grundläggande behörighet till utbildning på forskarnivå har den som:
1. avlagt examen på avancerad nivå, eller
2. fullgjort kursfordringar om minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå, eller
3. på annat sätt inom eller utom landet förvärvat motsvarande kunskaper.
Bedömningsgrund
Urval bland sökande som uppfyller krav på grundläggande och i förekommande fall särskild behörighet baseras på förmågan att tillgodogöra sig utbildningen på forskarnivå.
Anställning
Efter antagning till utbildning på forskarnivå kommer du att bli anställd som doktorand. Bestämmelser för anställning som doktorand återfinns i förordning SFS 1993:100. Den första anställningen som doktorand får gälla högst ett år. Anställningen får förnyas med högst två år i taget. En person får vara anställd som doktorand under sammanlagt högst åtta år. Den sammanlagda anställningstiden får dock inte vara längre än vad som motsvarar utbildning på forskarnivå på heltid under fyra år.
Universitetet tillämpar lokalt avtal om lönesättning av doktorander.
Anställningsform: Tidsbegränsad anställning, HF 5 kap 7§
Omfattning: 100%, fulltid
Placering: Data- och informationsteknik, avdelningen för Formella metoder
Tillträde: 2020-09-01 eller snarast möjligt
Kontaktuppgifter för anställningen
Upplysningar om anställningen lämnas till Gerardo Schneider (e-mail:
gersch@chalmers.se)
Frågor om anställningsförfarandet kan ställas till
anna.skanse@chalmers.se Fackliga organisationer
Fackliga företrädare vid Göteborgs universitet hittar du här:
http://www.gu.se/omuniversitetet/aktuellt/lediga-jobb/fackliga-kontaktpersonerSå ansöker duDu ansöker om att bli antagen till forskarstudier via Göteborgs universitets rekryteringsportal. Du som sökande ansvarar för att ansökan är komplett i enlighet med annonsen och att den är universitetet tillhanda senast sista ansökningsdag.
Vi ser gärna att din ansökan är skriven på engelska då den kan komma att granskas av internationella sakkunniga med engelska som arbetsspråk.
Ansökan ska vara inkommen senast: 2020-04-15
Till bemannings- och rekryteringsföretag och till dig som är försäljare: Göteborgs universitet anlitar upphandlad annonsbyrå i samband med rekrytering av personal. Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av jobbannonser.
Varaktighet, arbetstid
Heltid/ Ej specificerat
ErsättningIndividuell lön
Så ansöker duSista dag att ansöka är 2020-04-15
Klicka på denna länk för att göra din ansökanFöretagGöteborgs Universitet
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Göteborgs Universitet (org.nr 202100-3153),
http://www.gu.se/ Arbetsplats Göteborgs universitet
Jobbnummer 5121643
Observera att sista ansökningsdag har passerat.