Postdoc Position in Computer Science

University of Gothenburg

Reference Number: PAR 2026/220
Institution: University of Gothenburg
Department: Department of Computer Science and Engineering / Division of Computing Science, Logic and Types Unit
Location: Gothenburg, Sweden
Employment Type: Fixed-term, 24 months (Full-time, 100%)
Start Date: 2026-09-01 or as per mutual agreement
Application Deadline: 2026-05-17

Institution Overview

The University of Gothenburg addresses societal challenges with diverse knowledge. With 58,000 students and 6,800 employees, the university provides a large, inspiring environment for research and study. The Department of Computer Science and Engineering is highly international, with approximately 300 employees from over 50 countries. The department is jointly integrated with Chalmers University of Technology.

Subject Area

Type Theory and Programming Languages

Project Description:

The project focuses on compilation of cubical type theory. The goal is to construct a compiler that translates cubical type theory into (ideally efficient) executable code, including formal proofs of compiler correctness. The compiler should support erasure, removing computationally irrelevant code sections.

Job Assignments

• Conduct high-quality research in cubical type theory and programming languages
• Publish research results in leading international venues
• Work independently and collaboratively within the Logic and Types research group
• Communicate research results verbally and in writing
• Up to 20% teaching responsibilities, including supervision of Bachelor’s and Master’s thesis projects, and possible co-supervision of PhD students

Eligibility

• Doctoral degree in a relevant area (e.g., computer science) or an equivalent foreign degree
• Degree must be completed before the employment decision
• Preferably completed within three years of the application deadline; older degrees may be considered under special circumstances (illness, parental leave, union duties, defense service, or other relevant service/assignments)

Assessment Criteria

• Strong background and excellent publication record
• Experience in cubical type theory; experience in programming language implementation/compilation is an advantage
• Ability to work independently and as part of a team
• Ability to cooperate, take initiative, and work with accuracy
• Written and spoken fluency in English

Merits:

• Experience supervising doctoral and master’s students
• Teaching experience in third-cycle courses

Employment Terms

• Fixed-term appointment, 24 months
• Full-time, 100%
• First day of employment: 2026-09-01 or by mutual agreement
• Central agreement applies

Application Instructions

Submit your application via the University of Gothenburg’s recruitment portal. Applications must be complete and received by 17 May 2026.

Documents Required:

1. CV – include complete list of publications, previous teaching and pedagogical experiences, and two references
2. Personal Letter – 1-3 pages: introduce yourself, describe previous research and main results, outline future goals and research focus
3. Other Documents – attested copies of completed education, grades, and other certificates

Applications must be written in English.

Contact Information

• Regarding the project: Nils Anders Danielsson – nad@cse.gu.se
• Regarding the position: Carl-Johan Seger – secarl@chalmers.se
• Regarding the appointment procedure: Jenny Lind – jenny.lind@cse.gu.se

Union Representatives:

Information: University of Gothenburg Union Contacts

Information for International Applicants

• Benefits, relocation, and life in Gothenburg: Welcome Services, Move to Gothenburg
• University strives for equal conditions and values diversity
• Salaries set individually
• Application documents archived for two years; may be returned on request