1-2 Doktorander i datavetenskap med fokus på symbolisk AI

Publiceringsdatum: 2024-12-12

Positionen som doktorand hos Umeå Universitet är öppen och väntar på en lämplig kandidat - kan det vara du? Umeå Universitet söker för närvarande efter personal på heltid för en tjänst 6 månader eller längre. Kolla in deras jobbannons för mer information. Umeå är platsen där detta jobb har sin tjänsteort.

Umeå Universitet behöver fler anställda som stödjer arbetet inom doktorand. Kolla in deras lediga tjänst för att se om du har vad som krävs. Söker du efter en spännande karriär som doktorand? Sök jobbet hos Umeå Universitet senast torsdag den trettionde januari 2025 och bli en del av deras team.

Jobbannons

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/

Till vår institution, som bedriver forskning på högsta internationella nivå och tillhandahåller ett flertal högkvalitativa utbildningsprogram, söker vi nu 1-2 doktorander med fokus på symbolisk artificiell intelligens.

För mer info: https://www.umu.se/institutionen-for-datavetenskap/

 Projektbeskrivning

I moderna mjukvarusystem och organisationerna 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. Dessa symboliska eller neuro-symboliska mjukvarusystem är av hög praktisk komplexitet, vilket gör dem svåra att resonera kring, till exempel när man ska bedöma vilka förändringar på meta-nivå som leder till ett specifikt önskat mål med avseende på framtida systembeteende. Ur ett grundforskningsperspektiv avser detta automatisering av metaresonemang avseende generella resonemangsmetoder. 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. Forskning bedrivs i samarbete med andra forskare vid institutionen med fokus på kunskapsbaserad AI, under ledning av Vicenç Torra och Timotheus Kampik. 

Wallenberg AI, Autonomous Systems and Software Program, WASP, ä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. Mer info: 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:

o Logikbaserade resonemangssätt, till exempel formal argumentation, eller

o 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.

Förväntat startdatum är 01.04.2025 eller enligt överenskommelse. 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

Du ansöker via vårt rekryteringssystem (se nedan).

En fullständig 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

Curriculum Vitae (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. Bifogade dokument ska vara i Word eller pdf-format. Ansökan ska göras via Umeå universitets e-rekryteringssystem och vara inkommen senast 30-01-2025. Logga in i systemet och ansök via knappen längst ner på webbsidan.

Vid frågor kontakta Timotheus Kampik (tkampik @cs.umu.se).

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.