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: CV – include complete list of publications, previous teaching and pedagogical experiences, and two references Personal Letter – 1-3 pages: introduce yourself, describe previous research and main results, outline future goals and research focus 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 If you apply for this position please say you saw it on Academicoxy

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:

CV – include complete list of publications, previous teaching and pedagogical experiences, and two references
Personal Letter – 1-3 pages: introduce yourself, describe previous research and main results, outline future goals and research focus
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

If you apply for this position please say you saw it on Academicoxy

Apply

All Jobs