Postdoc in Type theory and programming languages

Reference number PAR 2026/633 The University of Gothenburg tackles society’s 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. 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 postdoc position is placed in the Logic and Types unit in the Division for Computing science at the department, with the University of Gothenburg as the employer. ### **Subject area:** Type theory and programming languages ### **Subject area description** The project is about compilation of cubical type theory: the construction of a compiler that translates from cubical type theory to (hopefully reasonably efficient) executable code. This includes proving that the compiler is correct. Ideally the compiler should also support erasure: removal of computationally irrelevant pieces of code. ### **Job assignments** The position is a full-time position for two years in the Logic and types research group at the Department of Computer Science and Engineering. The successful applicant will be expected to conduct high-quality research and to publish in leading international venues. The applicant should be able to work both independently and as part of a team on research related broadly to the goals of the project, and communicate the results verbally and in writing. The position may also include teaching responsibilities for up to 20% of the workload, such as supervising Bachelor's and Master's thesis projects, as well as the possible co-supervision of PhD students. ### **Eligibility** The eligibility criteria for employing teaching staff are set out in Chapter 4 of the Higher Education Ordinance and in the Appointment Procedure for Teaching Posts at the University of Gothenburg. To be eligible for appointment as a postdoc, the applicant is required to have a doctoral degree in a relevant area according to the specific position stated in the advertisement, for example computer science or a foreign degree that is deemed to be equivalent to a doctoral degree. This eligibility requirement must be met before the employment decision is made. In the first instance, those who have completed their degree no more than three years prior to the end of the application period shall be considered. Those who have completed their degree more than three years prior to the end of the application period may also be considered in the first instance if special grounds exist. Special grounds relate to leave of absence due to illness, parental leave, commissions of trust within union organisations, service within the defence services or other similar circumstances, as well as clinical service or service/assignment relevant to the subject area. ### **Assessment** Competitive candidates are expected to have a strong background, with an excellent publication record, experience of working with cubical type theory, and ideally also experience of programming language implementation/compilation. However, we also welcome candidates working in nearby areas. Experience of supervising doctoral students, master's students and teaching in third cycle courses will also be considered as a merit. The applicant should be able to work both independently and as part of a team. The abilities to cooperate and to take own initiatives are important qualities together with accuracy and interest in research. When evaluating the applicants, particular emphasis will be put on research skills in the relevant research field. Whereas both Swedish and English are used in undergraduate courses, English is the working language for research at the Department of Computer Science and Engineering. Thus, both verbal and written fluency in English is mandatory for candidates. ### **Employment** Type of employment: Fixed-term employment, 24 months, central agreement Extent: 100 % of full time Location: Department of Computer Science and Engineering /Division of Computing science, Logic and Types unit First day of employment: 2026-11-05 or after mutual agreement. ### **For further information:** Regarding the project, please contact Nils Anders Danielsson (e-mail: [nad@cse.gu.se](mailto:nad@cse.gu.se)). Regarding the position, please contact Richard Torkar (e-mail: [richard.torkar@gu.se](mailto:richard.torkar@gu.se)). Regarding the appointment procedure, please contact Jenny Lind (e-mail: [jenny.lind@cse.gu.se](mailto:jenny.lind@cse.gu.se)). ### **Unions** Union representatives at the University of Gothenburg: [https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply-for-a-position](https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply-for-a-position) ### **How to apply** via the University of Gothenburg’s recruitment portal by clicking the “Apply” button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline. The application must be written in English. The Department aims to actively improve our gender balance and we work broadly with equality projects. Equality and diversity are substantial foundations in all activities at the University and Department. We therefore welcome a diversity of applicants with different backgrounds and experiences. The selection of candidates is made based on the qualifications registered in the application. You need to provide: **CV:** _(Please name the document as: CV, Family name, Ref. number)_ including: - CV, include complete list of publications; - Previous teaching and pedago