Zulip Chat Archive

Stream: job postings

Topic: PhD position in number theory and formalisation @ UEA

Chris Birkbeck (Oct 12 2022 at 10:44):

https://www.uea.ac.uk/course/phd-doctorate/formalising-aspects-of-the-langlands-program-in-lean-birkbeckc-u23sciec

I'm happy to announce that the department of mathematics at the University of East Anglia will be funding a PhD position in number theory and formalisation starting in 2023. It will be supervised by me and Shaun Stevens. The application deadline is the 27th of November (2022).

Chris Birkbeck (Oct 12 2022 at 10:45):

Feel free to message me directly with any questions!

Chris Birkbeck (Oct 23 2023 at 09:02):

I once again have funding for a PhD student looking to work in number theory and formalisation, starting in Oct. 2024. The project will be supervised by me and Shaun Stevens and the application deadline is . Further details, including funding information are here. To apply you can also use this link.

Chris Birkbeck (Oct 23 2023 at 09:02):

Feel free to message me directly for more information or if you have any questions.

Last updated: Dec 20 2023 at 11:08 UTC