Email Gateway (Jun 15 2026 at 13:47): Email Gateway (Jun 15 2026 at 13:47):From: Tobias Nipkow <nipkow@in.tum.de>
-------- Forwarded Message --------
Subject: PhD position in AI4Math at Chalmers
Date: Thu, 11 Jun 2026 12:11:02 +0200
From: Josef Urban <josef.urban@gmail.com>
We have funding for a nice PhD position in AI (mostly RL) for Math at Chalmers
(Gothenburg, Sweden) with Devdatt Dubhashi:
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14598&rmlang=UK
<https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14598&rmlang=UK>
The broader AI/TP team here includes neurosymbolic people like Moa Johansson,
ITP/formalization (Thierry Coquand, Magnus Myreen, Aarne Ranta, Andreas Abel,
Mario Carneiro), ATP and functional programming (Nick Smallbone, Koen Claessen),
etc.
We have a strong collaboration network including the AITP people in Prague (at
the AI4REASON institute, CTU and Charles U.) and many others.
Here is an example of a recent AITP-like workshop at Chalmers:
https://josefurban.eu/chalmers_workshop_webpage.html
<https://josefurban.eu/chalmers_workshop_webpage.html> . For more, see e.g. the
topics at https://aitp-conference.org/ <https://aitp-conference.org/> .
Thanks,
J.
Last updated: Jul 02 2026 at 07:34 UTC