mastodon 4.8.0-alpha.2+glitch
Paige North is recruiting a PhD candidate on categorical foundations of type theory in Utrecht. There are worse places to work: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-categorical-foundations-of-type-theory
There are still a few weeks left to submit papers and extended abstracts to the Workshop on Mathematically Structured Functional Programming: https://msfp-workshop.github.io/msfp2026/ I'm on the PC and would love to see what you've been up to!