Postdoc in Type Theory and Programming Languages

The University of Gothenburg invites applications for a postdoctoral position in Type Theory and Programming Languages within the Department of Computer Science and Engineering. The successful candidate will engage in research on the compilation of cubical type theory, focusing on developing a compiler that translates cubical type theory into executable code. The role involves conducting high-quality research, publishing results, and may include teaching responsibilities. Applicants should possess a doctoral degree in a relevant field and demonstrate strong research skills, particularly in cubical type theory and programming language implementation. Fluency in English is mandatory. The position is fixed-term for 24 months, with a start date of November 5, 2026, or as mutually agreed. Applications must be submitted by September 29, 2026.