PhD position in Cambridge: Automatic Theorem Proving

Stream: job postings

[Fabian Glöckle]

Timothy Gowers advertises a PhD position in Cambridge in his human-style automatic theorem proving project:
https://mathstodon.xyz/@wtgowers/109593027450888693
(starting October 2023, applications preferably before January 6th)

More information on the project can be found on the project page and his blog:

• https://wtgowers.github.io/human-style-atp/
• https://gowers.wordpress.com/2022/04/28/announcing-an-automatic-theorem-proving-project/