Ledigt jobb: Doktorand

Är du intresserad av AI, särskilt förstärkningsinlärning (reinforcement learning)? Vi söker en entusiastisk och motiverad student som vill bli doktorand inom avdelningen för Data Science and AI (DSAI) vid Chalmers, för att utforska spännande nya riktningar inom hierarkisk förstärkningsinlärning!

Om oss

Avdelningen för datavetenskap och systemteknik (CSE), ett gemensamt department för Chalmers och Göteborgs universitet, omfattar hela bredden av datavetenskapliga discipliner. Vår internationellt synliga forskning, starka industriella kopplingar och mångfaldiga miljö skapar en samarbetsinriktad miljö där idéer växer till verklig påverkan.

Inom Data Science and AI (DSAI) utvecklar vi datadrivna metoder och AI-lösningar som stödjer intelligenta beslut i samhället, och framåtutvecklar maskininlärningstekniker från grundläggande teorier till industriella och vetenskapliga tillämpningar.

Det har funnits ett långvarigt och världsledande forskningsprogram inom formalisering av matematik på avdelningen, finansierat av ERC Advanced Grants och Wallenberg-projekt. En ny initiativ är att integrera AI-tekniker för att automatisera teorembevisare och bevisassistenter inom det spännande nya området "AI för matematik". En ny forskargrupp har kristalliserats som samlar expertis från flera områden utöver AI, inklusive formella metoder, teorembevisning, NLP och kognitiv vetenskap. Gruppen har ett nätverk av mycket starka internationella samarbetspartners som studenten kommer att bli en del av – vi kommer att organisera ett seminarium med temat "AI för matematik" på https://www.mittag-leffler.se/activities/ai-for-mathematics/

Om forskningsprojektet

Projektet bygger på de senaste framstegen inom hierarkisk förstärkningsinlärning (HRL) och utforskar dess användning inom AI för matematik. Kan HRL-tekniker användas för att automatisera bevis och generera intressanta konjekturer och lemmor i en interaktiv teorembevisare? Mänskliga matematiker dekomponerar vanligtvis stora bevis till mindre lemmor. HRL är en naturlig teknik för att skapa ett automatiserat system som dekomponerar bevis till mindre komponenter. För spännande utvecklingar inom området "AI för matematik", se https://terrytao.wordpress.com/2026/03/29/mathematical-methods-and-human-thought-in-the-age-of-ai/ av en av världens främsta matematiker.

Projektet är finansierat av https://wasp-sweden.org/, Sveriges nationella AI-initiativ, och kommer att genomföras i en stark forskningsmiljö inom detta område, i samarbete med ERC Advanced Grant-projekt (inom fakulteten på avdelningen).

Vem vi söker

Följande krav är obligatoriska:

• För att kvalificera sig som doktorand måste du ha en masterexamen inom datavetenskap, matematik eller relaterade områden. För studenter med en examen utanför Sverige accepteras en 4-årig kandidatexamen.
• Starka skriftliga och muntliga kommunikationsförmågor på engelska
• Du bör ha en stark bakgrund inom teoretisk datavetenskap, grundläggande AI/maskininlärning eller matematik samt starka kodningsförmågor i Python (eller C, C++, Java etc).
• Du bör ha en stark bakgrund inom modern maskininlärning – du bör ha läst goda kurser i grundläggande ML och särskilt ha grundläggande kunskaper inom förstärkningsinlärning.

Följande erfarenhet kommer att stärka din ansökan:

• Erfarenhet av logik, en teorembevisare eller interaktiv bevisassistent är meriterande

Vad du kommer att göra

• Genomföra forskning och sikta på publikationer på toppmöten inom modern AI (såsom NeurIPS, ICML, AAAI etc.). Ta kurser på avancerad nivå inom https://wasp-sweden.org/graduate-school/
• Utveckla egna vetenskapliga koncept och kommunicera resultaten av din forskning muntligt och skriftligt
• Tjänsten inkluderar generellt även undervisning på Chalmers grundnivå eller andra uppgifter motsvarande 20 procent av arbetstiden

Anställningsvillkor

• Doktorandtjänsterna är fullt finansierade från start.
• Tjänsten är en tidsbegränsad anställning på fyra år, med möjlighet till undervisning upp till 20 %, vilket förlänger tjänsten upp till fem år.
• Lön från 35 725 SEK per månad (gällande från 1 maj 2026).
• Doktorandstudier kräver fysisk närvaro under hela studietiden. Ett giltigt uppehållstillstånd måste presenteras senast vid studiestart; annars kan antagningen återkallas.

Vad vi erbjuder

För att läsa mer om vad vi erbjuder, gå till https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14598&rmlang=UK

Sökprocess

Ansökan ska skrivas på engelska och bifogas som PDF-filer, enligt nedan. Maximal storlek för varje fil är 40 MB. Observera att systemet inte stöder Zip-filer.

CV

Brev

• Kort introduktion om dig själv.
• Kort motivering till varför du är intresserad av denna tjänst.

Kandidat- och, om tillgängligt, masteruppsats tillsammans med betygskort.

Använd knappen längst ner på sidan för att komma till ansökningsformuläret.

Observera: Sökanden ansvarar för att ansökan är komplett. Ofullständiga ansökningar och ansökningar skickade via e-post kommer inte att beaktas. Kontaktuppgifter till referenser begärs efter intervjun.

Välkommen med din ansökan senast 18 juni 2026.

För frågor, kontakta:

Devdatt Dubhashi

Professor

[email protected]

Vi ser fram emot din ansökan!

Chalmers avböjer alla erbjudanden om ytterligare annonspublicering eller andra typer av stöd för rekryteringsprocessen i samband med denna tjänst.