The Budapest type theory group is hiring a postdoc to work on higher observational type theory.
http://lists.seas.upenn.edu/pipermail/types-announce/2026/012535.html
Jean Abou Samra (new account)
npub14p…htzwd
2026-05-22 17:05:37 UTC
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pub