Doctoral student in Logic and Types - theory and implementation of dependent

The University of Gothenburg tackles society’s challenges with diverse knowledge. 53 500 students and 6 500 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists 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 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).

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.

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 qualification
2. has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second-cycle, or
3. 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.

After admission to third-cycle studies you will be appointed to doctoral studentship. Regulations for employment of doctoral students are given in SFS 1993:100. The initial appointment may apply for no longer than one year. An appointment may be renewed for no more than two years at a time. A person may be appointed to a doctoral studentship for a total of eight years. The total employment period may, however, not exceed the time corresponding to full-time third-cycle study for four years.

Salaries for doctoral students are regulated in a local agreement at the University. 

Type of employment: Fixed-term employment, HF 5 kap 7 §
Extent: 100 % of full time
Location: Department of Computer Science and Engineering /Logic and Types research group
First day of employment: January 2022 or other date after agreement

Regarding the project, please contact Andreas Abel (e-mail: [email protected] )
Regarding the position, please contact David Sands (e-mail: [email protected] )
Regarding the appointment procedure, please contact HR-partner [email protected]  .

Union representatives at the University of Gothenburg:
https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply

Choosing a career in a foreign country is a big step. Thus, to give you a general idea of what we and Gothenburg have to offer in terms of benefits and life in general for you and your family/spouse/partner please visit:

https://www.gu.se/en/about-the-university/welcome-services

https://www.movetogothenburg.com/

In order to apply for a position at the University of Gothenburg, you have to register an account in our online recruitment system. It is the responsibility of the applicant to ensure that the application is complete in accordance with the instructions in the job advertisement, and that it is submitted before the deadline. 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.

Closing date: 2021-11-08

The University of Gothenburg promotes equal opportunities, equality and diversity.

Applications will be destroyed or returned (upon request) two years after the decision of employment has become final. Applications from the employed and from those who appeal the decision will not be returned.

In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.