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