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.
Fredrik Nordvall Forsberg (Jul 07 2020 at 16:56):In the near future, the University of Strathclyde will announce a call for
five-year research positions leading to permanent appointments.
The Mathematically Structured Programming group in the Department of Computer and Information Sciences welcomes applications from category theorists, and would be happy to help you develop an application. Please contact Neil Ghani <neil.ghani@strath.ac.uk> if you are interested, or of course me or anyone else from the group if you have questions.
The MSP group
The MSP group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into into the next generation of programming languages. We use ideas from category theory, type theory, and logic to do so. The group consists of Dr Robert Atkey, Dr Ross Duncan, Professor Neil Ghani, Dr Jules Hedges, Dr Clemens Kupke, Dr Jérémy Ledent, Professor Radu Mardare, Dr Conor McBride, Dr Fredrik Nordvall Forsberg, Professor Glynn Winskel, and our PhD students.
For more information, please see our group website, and our individual websites linked from there.
Glasgow and Scotland
The University of Strathclyde is located in the heart of Glasgow, which the Lonely Planet Travel Guides hail as "one of Britain's most intriguing metropolises". It is less than an hour away by car or public transport from the Scottish Highlands. Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde.