Academic Jobs

Chalmers University of Technology, Sweden - Logo

Doctoral student in Computer Science, Logic and Types – theory and implementation of dependent types,

Chalmers University of Technology (CUT)


Apply Before the Deadline

Nov 1, 2021 23:59 (GMT +2)

Apply Now

Chalmers University recruits Doctoral student in Logic and Types – theory and implementation of dependent types at the department of Computer Science and Engineering, Logic and Types research group – Sweden, Oct 2021.

Support us by Sharing!

Scroll Down for Content

General Info

Position: Doctoral Student
No. of Positions: 1
Research Field: ,
Deadline to Apply: November 1, 2021(GMT +2)
Joining Date: Jan, 2022
Contract Period: Not Mentioned
Salary: According to Standard Norms

Logic and Types research group
Department of Computer Science and Engineering
Chalmers University of Technology (CUT)

Scroll Down for Content

Qualification Details

To be eligible for third-cycle studies, the applicant must meet both the general and, where applicable, specific entry requirements.

A person meets the general entry requirements for third-cycle studies if he or she:1. has been awarded a second-cycle qualification2. has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second-cycle, or3. has acquired substantially equivalent knowledge in some other way in Sweden or abroad.


In selecting between applicants who meet the general and, where applicable specific entry requirements, their ability to benefit from third-cycle studies shall be taken into account.The applicant should be able to work both independently and as part of a team. 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.

Responsibilities/Job Description

The aim of the doctoral (third-cycle) education is to acquire the knowledge and skills necessary to conduct independent research within the area of the position, and to contribute to the development of knowledge by writing a scholarly thesis. Third-cycle studies are equivalent to four year full-time and lead to a Degree of Doctor. Those appointed to doctoral studentships shall primarily devote themselves to their own research, to write manuscripts for publication contributing to the dissertation, and to graduate-level coursework. Those appointed to doctoral studentships may, however, work to a limited extent with educational tasks, research and administration. Before a PhD degree has been awarded, duties of this kind may not comprise more than 20 percent of a full-time post.

How to Apply?

Online Application through "Apply Now" Button from this page or from advertisement webpage (URL below)

Reference Number: -Ref PAR 2021/1243
(If any, use it in the necessary place)

Scroll Down for Content

Documents Required

The application is to be written in English.

You need to provide:

CV: (Please name the document as: CV, Family name, Ref. number) including:

  • CV with the complete list of your publications (if any) and contributions to software projects (for open-source project, provide links).
  •  Other, for example previous employments or leadership qualifications and positions of trust.
  • Two references that we can contact.

Personal letter: (Please name the document as: Personal letter, Family name, Ref. number), 1-3 pages where you:

  • Introduce yourself.
  • Describe your previous experience of relevance for the position (e.g. education, thesis work and, if applicable, any other research activities).
  • Describe your future goals and future research focus.

Other documents:

  • Copies of bachelor and/or master’s thesis.
  • Attested copies of completed education, grades and other certificates, e.g. TOEFL test results.

About the Department

The department of Computer Science and Engineering is strongly international, with approximately 270 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals, with activities on two campuses in the city of Gothenburg. Our research has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor's, Master's and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.The position is placed in the Logic and Types research group at the department, with the University of Gothenburg as the employer.This position is a great opportunity for you as a PhD student to develop your scientific and technical skills as part of a team of leading researchers in the area of dependent type theory and implementors of the Agda proof assistant. The project aims to advance type theory both theoretically and practically, in particular in the direction of modalities. You will be working on type theory from a mathematical perspective (type systems and their models), an algorithmic perspective (unification and type-checking), and a programming perspective (efficient implementation as part of the Agda proof assistant).

About the Employer: Chalmers University of Technology (CUT)

Note or Other details

Scroll Down for Content

Contact details

For further information regarding the position Regarding the project, please contact Andreas Abel (e-mail: the position, please contact David Sands (e-mail: the appointment procedure, please contact HR-partner

Advertisement Details: Doctoral student in Logic and Types - theory and implementation of dependent types

Other Vacancies from this field

Scroll Down for Content

Support us by Sharing!