AI jobs at Imperial College

Stream: job postings

[Kevin Buzzard]

Imperial College London is advertising a bunch of AI-related post-docs ("several"+"several"+"up to 6"+"up to 6") here, here, here and here. The jobs are specifically about using AI to "advance and disrupt science or engineering". I don't work in AI myself but if there are people out there who think that they can somehow use Lean and AI to disrupt mathematics then I'd encourage them to apply. Closing date 28th Sept.

[Patrick Massot]

Anyone doing formalized math should feel they can apply. This is how I managed to get Floris in Orsay for two years.

[Aaron Anderson]

I looked into this a bit - it appears the Schmidts are funding a ton of postdocs at several different universities. https://www.schmidtfutures.com/our-work/schmidt-ai-in-science-postdocs/

[Aaron Anderson]

Of the ones I looked at specifically, only ICL and Oxford really had any detail about what they're looking for. https://saiis.web.ox.ac.uk/#tab-4319661