All Jobs
The Budapest type theory group is hiring a postdoc to work on higher observational type theory.
Jean Abou Samrauniversity
PostdocPosted 5/22/2026via bluesky
The Budapest type theory group is hiring a postdoc to work on higher observational type theory. lists.seas.upenn.edu/pipermail/ty...