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.
Clemens Kupke (Feb 20 2021 at 18:53):*** PhD Position
*** Coalgebraic Logics for Quantitative Verification
*** Mathematically Structured Programming Group
*** University of Strathclyde (Glasgow)
Applications are invited for a fully funded (please see caveat below) PhD studentship in the area of coalgebraic logics & model-checking under my supervision. The goals of the project are to work on a new mathematical framework for quantitative logics and, based on this, to create model-checking tools for verification. The research will be part of the Leverhulme project "COVER: Coalgebraic Foundations of Quantitative Verification" in collaboration with the University of
Southampton and funds 2 postdoctoral researchers. This means that the new student will be embedded in an active research team with closely aligned goals.
The successful applicant will have either at least a 2:1 degree or an MSc in Mathematics or Computer Science or a related subject with a strong Mathematics or Computer Science component. Ideally, they will also have a strong, documented interest in doing research. Strong mathematical background and problem-solving skills are essential.
Anyone interested should contact me here or at "clemens.kupke at strath.ac.uk" and outline their academic background.
===============================================
*) Caveat: For UK citizens these positions are fully-funded. For
students from other European countries the situation is currently not
100% clear and will have to be clarified on a case-by-case basis.
Oversees fees for students from further afield are generally not covered.
Jules Hedges (Feb 20 2021 at 20:26):Clemens, is there a static version of this I can share? If not, can I share a screenshot of this?
Clemens Kupke (Feb 20 2021 at 20:47):Hi Jules, sadly no static version - feel free to share! It was emailed around on the categories mailing list a while ago - I could send you the email version if that's easier?
Jules Hedges (Feb 20 2021 at 20:53):It's ok, I'll screenshot this
Jules Hedges (Feb 20 2021 at 20:53):Yeah, I've never been on the categories mailing list...