Anyone interested in studying for a PhD? We have funded positions available in St Andrews for a September 2021 start. Details here:

Let me know if you're interested in doing something related to dependently typed functional programming.

@edwinb would you consider someone with a BSc, who is at present a senior software eng. at Google? A former student/RA of mine, who is currently looking for various MSc options in Maths&CS, with an aim to find a path to a PhD?

@dimpase As long as they meet the eligibility criteria, sure. A BSc is fine. Funding is quite competitive, so an MSc helps, but it's possible (without making any promises...) that industry experience will also help.

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!