Full prof in Maths and AI (Leiden, NL)

Stream: job postings

[Johan Commelin]

• Full professor in Mathematics of Artificial Intelligence (0.8-1.0 fte)
• https://www.mathjobs.org/jobs/list/21556
• Leiden, Netherlands
• Deadline: 23 Jan 2023

The job add explicitly mentions:

Typical examples of important research topics include [...] AI for mathematical theorem discovery

[Kevin Buzzard]

This is in the mahematics department, it seems! That's a really interesting step forward!