University of Gothenburg is hiring:
Postdoc in Type Theory and Programming Languages
#postdoc #computerscience #typetheory
---
Extract: The University of Gothenburg is seeking a postdoc in Type Theory and Programming Languages for a two-year position in the Logic and Types unit. Candidates must have a doctoral degree in a relevant area and be fluent in English.