The University of Gothenburg tackles societys challenges with diverse knowledge. 58 000 students and 6800 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.

Researcher in type theory for mathematics and computer science

The department of Computer Science and Engineering is strongly international, with approximately 300 employees from over 50 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The researcher positions are placed in the Logic and types research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.

The project investigates dependent type theory extended with univale...