Arbetsbeskrivning

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 postdoktorer som ska arbeta med symbolisk artificiell intelligens. Anställningen avser heltid under två år med start 01.03.2025, eller enligt överenskommelse. Mer info: https://www.umu.se/institutionen-for-datavetenskap/ Projektbeskrivning och arbetsuppgifter 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. Närmare upplysningar lämnas av Timotheus Kampik ([email protected]). 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.