Zulip Chat Archive

Stream: job postings

Topic: Full prof in Maths and AI (Leiden, NL)


Johan Commelin (Jan 04 2023 at 12:27):

The job add explicitly mentions:

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

Kevin Buzzard (Jan 04 2023 at 12:32):

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


Last updated: Dec 20 2023 at 11:08 UTC