1-2 Postdoktorer (2 år) inom symbolisk artificiell intelligens

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 postdoktorer som ska arbeta med symbolisk artificiell intelligens. Anställningen avser heltid under två år med start 01.03.2025, eller enligt överenskommelse.

Institutionen för datavetenskap har haft en expansiv tillväxt under de senaste åren. Att skapa en inkluderande forskningsmiljö där medarbetare har en hög delaktighet är en viktig faktor i vår hållbara utveckling. Vår institution består av en diversifierad grupp människor från olika nationaliteter, bakgrunder och fält. Som postdoktor hos oss har du tillgång till stöd för din karriärutveckling, nätverk, administrativ och teknisk support samt goda anställningsvillkor.

För mer information besök
https://www.umu.se/institutionen-for-datavetenskap/

Projektbeskrivning och arbetsuppgifter

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. Medan metoder för maskininlärning blir allt vanligare i detta sammanhang, förblir kärnan i systemens resonemangsmotorer typiskt sett ‘symbolisk’ (kunskapsbaserad). 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åen leder till ett specifikt önskat mål med avseende på 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 styrkorna 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).

Forskning bedrivs i samarbete med andra forskare vid Institutionen för datavetenskap med fokus på kunskapsbaserad AI, under ledning av Vicenç Torra och Timotheus Kampik. Det finns utmärkta internationella samarbetsmöjligheter med globalt ledande forskningsgrupper och stora teknikföretag.

Postdoktorsanställningen finansieras av Wallenberg AI, Autonomous Systems and Software Program.

Wallenberg AI, Autonomous Systems and Software Program, WASP, är Sveriges största enskilda forskningsprogram i modern tid. Programmet skapar en plattform för akademisk forskning och utbildning i nära samarbete med ledande svensk teknikintensiv industri. Forskningen innefattar artificiell intelligens och autonoma system som verkar i samarbete med människor och som anpassar sig till sin omgivning med hjälp av sensorer, information och kunskap och skapar intelligenta system av system. WASPs vision är excellent forskning och kompetens inom artificiell intelligens, autonoma system och mjukvara till gagn för Sveriges industri och samhälle. Läs mer: https://wasp-sweden.org/

Om den sökande så önskar och utifrån aktuellt behov kan anställningen omfatta upp till 20 % undervisningstid.

Kvalifikationer

För att anställas med stöd av postdoktoravtalet krävs avlagd doktorsexamen eller en utländsk examen som bedöms motsvara doktorsexamen. Detta behörighetskrav ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas.

För att anställas med stöd av postdoktoravtalet bör främst den komma ifråga som har avlagt examen enligt föregående stycke för högst tre år sedan. Om det finns särskilda skäl kan den komma i fråga som avlagt doktorsexamen tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, tjänstgöring inom totalförsvaret, eller andra liknande omständigheter samt klinisk tjänstgöring eller för ämnesområdet relevant tjänstgöring/ uppdrag. Postdoktor som ska undervisa eller handleda ska ha relevant högskolepedagogisk utbildning.

Det är ett krav att du har dokumenterad expertis (det vill säga relevanta publikationer) inom något av följande ämnen av intresse:

• Logikbaserade resonemangssätt, till exempel formal argumentation, eller
• Formella aspekter av autonoma agenter och multiagentsystem.

Det är mycket meriterande om du har erfarenhet av att självständigt genomföra formella analyser, såsom principbaserade analyser av automatiserade resonemangmetoder. Alternativt uppmuntras kandidater med utmärkt kompetens inom mjukvaruteknik och exceptionella skrivfärdigheter att ansö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.

Ansökan

En fullständig ansökan ska innehålla

• Personligt brev som beskriver dina forskningsintressen och varför du söker den utlysta anställningen
• Meritförteckning - CV med publikationslista,
• Styrkt kopia av doktorsexamensbevis eller dokumentation som styrker när doktorsexamen förväntas erhållas,
• Styrkta kopior av andra examensbevis, akademiska kursintyg och/eller betyg,
• Kopia av doktorsavhandling och maximalt fem relevanta artiklar,
• Övriga handlingar som den sökande vill åberopa.
• Kontaktuppgifter till två vidtalade referenser.

Ansökan ska vara skriven på engelska eller svenska. Ansökan görs genom vårt elektroniska rekryteringssystem. Handlingar som skickas elektroniskt ska vara i formaten Word eller PDF. Logga in på systemet och ansök via knappen i slutet av denna sida. Sista ansökningsdag är 15.01.2025. Närmare upplysningar lämnas av Timotheus Kampik (tkampik@cs.umu.se).