Doktorand i datavetenskap
Umeå universitet, Teknisk-naturvetenskaplig fakultet / Högskolejobb / Umeå
2025-06-19
Visa alla högskolejobb i Umeå,
Vännäs,
Nordmaling,
Vindeln,
Robertsfors eller i
hela Sverige Visa alla jobb hos Umeå universitet, Teknisk-naturvetenskaplig fakultet i Umeå,
Nordmaling,
Örnsköldsvik,
Kiruna,
Huddinge eller i
hela Sverige Umeå universitet är ett av Sveriges största lärosäten med över 37 000 studenter och cirka 4 700 anställda. Vid universitetet finns en mångfald av utbildningar av hög kvalitet och världsledande forskning inom flera vetenskapsområden, och här gjordes den banbrytande upptäckten av gensaxen CRISPR-Cas9 som tilldelats Nobelpriset i kemi. Vid Umeå universitet är allt nära. Våra sammanhållna campus gör det lätt att mötas, samarbeta och utbyta kunskap, något som gynnar en dynamisk och öppen kultur.
Den samhällsomvandling och de stora gröna investeringar vi ser i norra Sverige skapar enorma möjligheter och komplexa utmaningar. För Umeå universitet handlar det om att bedriva forskning om - och mitt i - ett samhälle i omvandling. Men också om att leverera utbildningar för regioner som behöver expandera fort och hållbart. Det är helt enkelt här framtiden skapas.
Är du intresserad av att veta mer?
https://www.umu.se/jobba-hos-oss/om-universitetet-som-arbetsplats/Institutionen för datavetenskap söker en doktorand med fokus på symbolisk artificiell intelligens.
För mer information besök
https://www.umu.se/institutionen-for-datavetenskap/ Projektbeskrivning
I moderna mjukvarusystem och organisationer som driver dem är en betydande del av de dagliga besluten med kritisk inverkan på enskilda människor och samhället helt automatiserade eller starkt beroende av automatiskt beslutsstöd. Medan metoder för maskininlärning blir allt vanligare i detta sammanhang, förblir systemens kärnor vanligtvis symboliska (kunskapsbaserade). Dessa symboliska eller neuro-symboliska system är komplexa, vilket gör dem svåra att resonera kring, till exempel när man bedömer förändringar på meta-nivå som leder till önskade mål för framtida systembeteende. I arbetet med att lösa detta problem är temat för det bredare projektet "Automating Reasoning about Automated Reasoning". Ur ett grundforskningsperspektiv avser detta automatisering av metaresonemang avseende generella resonemangsmetoder. Här är det tänkta fokuset på resonemangmetoder som kan revidera sina slutsatser inför ny evidens/kunskap. Planen är att täcka både banbrytande metoder som kombinerar subsymbolisk, symbolisk och mänsklig intelligens, såväl som industry-scale resonemangssystem. Instanser av den förra klassen är olika varianter av formal argumentation, medan fokus i det senare fallet kan ligga på vanliga business rule languages som används i storskaliga IT-system.
Inom den bredare sfären av temat "Automating Reasoning about Automated Reasoning" kan forskningsuppgifter väljas utifrån styrkor hos den framgångsrika kandidaten, antingen i den breda riktningen av principbaserat meta-resonemang (formellt fokus) eller tillämpningar av automatiserad meta-resonemang till storskaliga mjukvarusystem (tillämpad fokus).
Projektet finansieras av Wallenberg AI, Autonomous Systems and Software Program, WASP, som är Sveriges största enskilda forskningsprogram i modern tid. Läs mer:
https://wasp-sweden.org Forskarskolan inom WASP har som mål att förse framtidens forskare med nödvändig kunskap för att kunna analysera, utveckla och bidra aktivt till den tvärvetenskapliga utvecklingen av artificiell intelligens, autonoma system och mjukvara. Forskarskolan erbjuder en unik möjlighet för de studenter som lockas av internationell forskning i världsklass med industriell relevans. Mer information:
https://wasp-sweden.org/graduate-school/ Kvalifikationer
För att bli antagen till utbildning på forskarnivå krävs det att den sökande har grundläggande behörighet genom avlagd examen på avancerad nivå, eller slutförda kursfordringar om minst 240 högskolepoäng varav minst 60 högskolepoäng på avancerad nivå, eller motsvarande utländsk utbildning, eller motsvarande kvalifikationer.
För att bli antagen till utbildning på forskarnivå inom ämnet datavetenskap krävs att den sökande har godkända kurser om minst 90 högskolepoäng i ämnet datavetenskap eller som är direkt relevanta för den aktuella specialiseringen.
Det är ett krav att du har:
En grundläggande förståelse för och ett stort intresse för ett av följande ämnen:
Logikbaserade resonemangssätt, till exempel formal argumentation, eller
Formella aspekter av autonoma agenter och multiagentsystem.
Avancerade programmeringskunskaper.
Akademisk skrivförmåga och erfarenhet med LaTeX.
Det är mycket meriterande om du tycker om att arbeta med matematiknotation och formella bevis. Alternativt uppmuntras kandidater med bra kompetens inom programvaruteknik och med utmärkta skrivförmåga att söka.
Viktiga personliga egenskaper är, förutom kreativitet och kritiskt tänkande, utmärkt problemlösningsförmåga, disciplin, förmåga att arbeta både självständigt och i grupp samt erfarenhet av vetenskaplig interaktion med forskare med olika bakgrund. Arbetsspråket kommer att vara engelska.
Om anställningen
Anställningen syftar till en doktorsexamen, och doktorandens huvuduppgift är att ägna sig åt egen forskarutbildning vilket innefattar såväl deltagande i forskningsprojekt som forskarutbildningskurser. I arbetsuppgifterna kan undervisning och annat institutionsarbete (upp till max 20%) ingå. Anställningen är tidsbegränsad till fyra år heltid eller upp till fem år vid undervisning deltid.
Löneplaceringen sker enligt fastställd lönestege för doktorandanställning. Enligt Högskoleförordningen (12 kap, 2 §) kan beslutet om anställning inte överklagas.
Ansökan ska innehålla:
Ett personligt brev som beskriver dina forskningsintressen, och varför du söker den utlysta anställningen. Brevet ska också innehålla din kontaktinformation
Kopior av examensbevis eller motsvarande
CV
Kopior av kandidat- och/eller masteruppsats, samt andra relevanta publikationer om sådana finns
Dokumentation och beskrivning av andra relevanta erfarenheter och kompetenser
Ansökan ska vara skriven på svenska eller engelska. Om bifogade dokument har annat originalspråk ska en översättning inkluderas.
Umeå universitet vill erbjuda en jämställd och jämlik miljö där öppna samtal mellan människor med olika bakgrund och perspektiv lägger grunden för lärande, skaparkraft och utveckling. Vi välkomnar därför personer med olika bakgrunder och erfarenheter att söka den aktuella anställningen.
Till bemannings- och rekryteringsföretag och till dig som är försäljare: Vi undanber oss vänligen men bestämt direktkontakt med bemannings- och rekryteringsföretag samt försäljare av ytterligare jobbannonser.
Ersättning månadslön
Så ansöker du Sista dag att ansöka är 2025-08-15
Klicka på denna länk för att göra din ansökan Arbetsgivarens referens Arbetsgivarens referens för detta jobb är "AN 2.2.1-858-25".
Omfattning Detta är ett heltidsjobb.
Arbetsgivare Umeå Universitet (org.nr 202100-2874)
Arbetsplats Umeå universitet, Teknisk-naturvetenskaplig fakultet
Kontakt Timotheus Kampik
tkampik@cs.umu.se Jobbnummer 9396889