Postdoctoral Researcher in Type Theory and Programming Languages

University of Gothenburg meets society's challenges with diverse knowledge. 58,000 students and 6,800 employees make the university a large and inspiring workplace. Strong research and attractive education programs attract researchers and students from around the world. With new knowledge and new perspectives, University of Gothenburg contributes to a better future. The Department of Computer Science and Engineering has an international character with approximately 300 employees from over 50 different countries. The department is an integrated institution with both University of Gothenburg and Chalmers University of Technology as principal stakeholders. The Department of Computer Science and Engineering is now seeking a postdoctoral researcher. The position is located at the Logic and Types unit, the Computing Science division of the department, with University of Gothenburg as the employer. Subject: Type Theory and Programming Languages Subject Description The project concerns the compilation of cubical type theory: the construction of a compiler that translates from cubical type theory to (hopefully efficient) executable code. This includes proving that the compiler is correct. The compiler may also support the elimination of code that is not needed for program execution. Duties The position is a two-year full-time position within the Logic and Types research group at the Department of Computer Science and Engineering. You are expected to conduct high-quality research and publish your results in leading international journals and conference proceedings. You should be able to work both independently and as part of a team and communicate results orally and in writing. The position may include teaching at the department, including supervision of bachelor's and master's theses. Teaching would then constitute at most 20% of working time. You may also serve as a co-advisor for doctoral students. Qualifications Qualifications for employment as a researcher are regulated in Chapter 4 of the Higher Education Ordinance and University of Gothenburg's employment regulations. Those eligible for employment as a postdoctoral researcher are those who have completed a doctoral degree in a relevant subject area, for example within computer science, or who have a foreign degree deemed equivalent to a doctoral degree. The doctoral degree must be completed no later than the start date when the employment decision is made. Priority should be given to those who completed their degree no more than three years before the application deadline. Those who completed their degree earlier should also be considered as priority candidates if there are special reasons. Special reasons include leave due to illness, parental leave, positions of trust within trade union organizations, service in total defense, or other similar circumstances, as well as clinical service or service/assignments relevant to the subject area. Evaluation Criteria Competitive candidates are expected to have a strong research background, experience working with cubical type theory, and preferably also experience with programming language implementation/compilation. However, we also welcome candidates working in related areas. Experience in supervising doctoral and master's students as well as teaching advanced courses will be considered as merits. The applicant should be able to work both independently and as part of a team. The ability to collaborate and take own initiatives are important qualities, as are thoroughness and interest in research. In evaluating applicants, particular emphasis will be placed on the ability to conduct research within the relevant research area. Both Swedish and English are used in basic teaching, while English is the working language for research at the Department of Computer Science and Engineering. Therefore, both oral and written proficiency in English is mandatory. Employment Employment type: Fixed-term employment, 24 months, central collective agreement Scope: 100%, full-time Placement: Department of Computer Science and Engineering, Computing Science division, Logic and Types research group Start date: 2026-11-05 or by agreement Contact Information for the Position Information about the project is provided by Nils Anders Danielsson (email: mailto:[email protected]). Information about the employment is provided by Richard Torkar (email: mailto:[email protected]). Questions about the recruitment process can be directed to Jenny Lind (email: mailto:[email protected]). Trade Union Representatives Trade union representatives at University of Gothenburg can be found here: https://www.gu.se/jobba-hos-oss/sa-blir-du-en-av-oss Application You apply for the position through University of Gothenburg's recruitment portal by clicking the "Apply" button. As an applicant, you are responsible for ensuring that your application is complete in accordance with the announcement and that it reaches the university no later than the final application deadline. The application should be written in English. The department aims to actively improve our gender balance and we work extensively with equality projects. Equality and diversity are an essential basis for all activities at the university and the department. We therefore welcome a diversity of applicants with different backgrounds and experiences. Your application should contain the following parts: CV: (Please name the document as: CV, surname, reference number) including: CV, include complete publication list; Previous teaching and pedagogical experience; Two references that we can contact. Cover Letter: (Please name the document as: Cover letter, surname, reference number), 1-3 pages where you: Introduce yourself; Describe your previous research areas and most important research results; Describe your future goals and future research focus. Other Documents: Certified copies of completed education, grades, and other certificates. Application deadline: 2026-09-29 The university actively works for a workplace with equal conditions and values the qualities that diversity brings to its operations. The university applies individual salary setting. According to the regulations of the National Archives, the university is obliged to preserve application documents for two years after the employment decision is made. If you as an applicant specifically request the return of your documents, they will be returned after the two years have elapsed; otherwise, they will be discarded. To staffing and recruitment companies and to you as a job ad seller: University of Gothenburg uses contracted advertising agencies in connection with recruitment of personnel. We kindly but firmly decline direct contact from staffing and recruitment companies as well as sellers of job advertisements.

Zeptej se AI

Časté otázky k tomuto inzerátu — otevře tvoji AI s připraveným promptem včetně odkazu na inzerát.

• Je mzda v této pracovní nabídce konkurenceschopná pro tuto pozici a lokalitu?
  Otevřít v
• Na co se mám zeptat na pohovoru na tuto pozici?
  Otevřít v
• Jaké dovednosti mám vyzdvihnout v odpovědi na tento inzerát?
  Otevřít v