John Carlos BaezWant to leave the US? The University of Sussex is paying a theoretical computer science grad student for 3.5 years to do a PhD. This is is available to UK and international applicants.
You'd be doing research with Philip Saville on denotational semantics using categories and 2-categories. You'd receive:
a tax-free stipend at the standard rate for 3.5 years- currently £20,780 per year for 25/26
a fee waiver at the UK or international rate for 3.5 years
a one-off Research and Training Support Grant of £2,000
The project description starts:
"The project will be in the field of denotational semantics, a branch of theoretical computer science in which one builds mathematical models of programming languages. Such models are used in many ways. For example, might answer questions about program behaviour: one can show that no program exists with a certain behaviour, or understand how programs with complex collections of features -- such as probability, looping, and exceptions -- ought to behave. Alternatively, by studying models of programs we can understand the mathematical structure of programs, and thereby discover new language paradigms or constructs.
Just as physics draws on mathematics, and can lead to mathematical results in its own right, so denotational semantics often intersects with deep and interesting mathematical ideas. The project will use the powerful language of category theory to build new models and study the relationships between existing ones. In particular, it will likely make use of 2-dimensional category theory and category-theoretic universal algebra."
You can see more details here:
All GNU social JP content and data are available under the