Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: positions

Topic: 2 PhD positions at University of Strathclyde, Glasgow


view this post on Zulip Jules Hedges (Dec 15 2020 at 10:53):

I have two PhD studentships ( huge caveat follows ) in the Mathematically Structured Programming group at Strathclyde

(Caveat: The positions are fully-funded for UK citizens. For EU citizens, we are trying to obtain scholarships, but the safe bet is that it is not fully-funded. Anybody is welcome to apply, but if you are not a UK citizen you will probably need a secondary source of funding. We live in unfortunate times.)

Position 1: Is for a fixed project jointly with the National Physical Laboratory, to do with category-theoretic techniques for Bayesian inference and estimation in complex systems. Some programming experience is preferred for this project.

Position 2: Has no fixed project attached, feel free to propose a research project roughly within my interests of applied category theory + economics, machine learning and optimisation/control, or to discuss with me. (See https://julesh.com/ for details.)

To apply, email a CV plus any another documents to me at jules.hedges@strath.ac.uk . If you'd like to discuss with me then you can email me, or use any other public channel you can find me on (Zulip, Twitter). I'm happy to arrange a Zoom call if you prefer that.

I enthusiastically encourage anyone to apply who considers themselves part of a minority group within academia

Arbitrary application deadline is January 31st 2021. Start date is flexible

The MSP group at Strathclyde is an exciting group to be part of, focussing on type theory, category theory and their applications. Faculty is: Neil Ghani, Conor McBride, Glynn Winskel, Radu Mardare, Clemens Kupke, Ross Duncan, Bob Atkey, Fredrik Norvall Forsberg and me. See http://msp.cis.strath.ac.uk/index.html

view this post on Zulip Jules Hedges (Dec 15 2020 at 11:59):

Jules Hedges said:

The positions are fully-funded for UK citizens.

More specifically the important thing is whether you're eligible for "home fees", but that's something that's changing and nobody knows what will happen

view this post on Zulip Jules Hedges (Dec 16 2020 at 13:28):

Update: A few hours after I posted this, the university circulated an email making the funding situation with Brexit precise, namely that they precisely have no idea and haven't decided yet. I quote: “Scholarships for PGR EU fee status students are still being considered, with further information expected early in the new year… Determining which EU students will continue to be eligible for home fees, and which will fall into the new EU fee status is very complex, and depends on aspects such as family members, residency, and settled or pre settled status, and we’re waiting on further guidance from the government on some of these elements too. So it’s worth being aware that it’s not as straight forward as that if a student is from the EU they will definitely fall into the new EU fee status from 2021-22. We won’t have a full understanding of how many EU students will come under this new fee category until much closer to the 2021 intake.”

This is, of course, not very helpful for applications being made now

view this post on Zulip Jules Hedges (Apr 02 2021 at 11:50):

I'm reopening applications for one of these positions, this time with no deadline. Updated post:

https://julesh.com/2021/04/02/phd-position-at-the-university-of-strathclyde-glasgow/

view this post on Zulip Jules Hedges (Apr 02 2021 at 11:51):

Funding update: We think (but aren't 100% certain) that EU students will be fully funded if we can get you registered by a certain deadline in July. Therefore I encourage folks from the EU to apply, if you want to study in the Scottish Free State, if you're able to start by June (including remotely), and the earlier the better to be safe