Postdoctor in Type theory for mathematics and computer

The University of Gothenburg tackles society’s challenges with diverse knowledge. 56 000 students and 6 600 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 300 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The two postdocs positions are placed in the Logic and types research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.

Subject area 

Type theory for mathematics and computer science

Subject area description 

The project is about the study of dependent type theory extended with univalence and higher inductive types. It can range from theoretical studies of models to actual formalisations of mathematics in a proof system (such as Agda), or working on design of proof assistants incorporating the advances brought by the connections with homotopy theory.

Duties 

Each of these two postdoctoral positions is a full-time position for three years in the Logic and types research group at the Department of Computer Science and Engineering. The successful applicant will be expected to conduct high-quality research and to publish in leading international venues. The applicant should be able to work both independently and as part of a team on research related broadly to the goals of the project, and communicate the results verbally and in writing. 

Additionally, the successful applicant will be expected to perform teaching activities including supervision of Bachelor’s and Master’s thesis projects for at most 20% of her/his time, as well as possible co-supervision of PhD students.

Eligibility 

The eligibility criteria for employing teaching staff are set out in Chapter 4 of the Higher Education Ordinance and in the Appointment Procedure for Teaching Posts at the University of Gothenburg. 

To be eligible for appointment as a postdoc, the applicant is required to have a doctoral degree in a relevant area according to the specific position stated in the advertisement, for example computer science or mathematics, or a foreign degree that is deemed to be equivalent to a doctoral degree. This eligibility requirement must be met before the employment decision is made. 

In the first instance, those who have completed their degree no more than three years prior to the end of the application period shall be considered. Those who have completed their degree more than three years prior to the end of the application period may also be considered in the first instance if special grounds exist. Special grounds relate to leave of absence due to illness, parental leave, commissions of trust within union organisations, service within the defence services or other similar circumstances, as well as clinical service or service/assignment relevant to the subject area.  

Assessment criteria

 

Regulations for the evaluation of qualifications for academic positions are given in Chapter 4, Section 3 – 4 of the Higher Education Ordinance.

Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with dependent type theory and univalence. Ideally, the candidate should combine knowledge on these topics with basic knowledge of homotopy theory. However, we also welcome candidates working on nearby areas who would be interested in getting into the field.

Experience of supervising doctoral students, master’s students and teaching in third cycle courses will also be considered as a merit.

The applicant should be able to work both independently and as part of a team. The abilities to cooperate and to take own initiatives are important qualities together with accuracy and interest in research.

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.

Employment 

Type of employment: Fixed-term employment, 36 months, central agreement
Extent: 100 % of full time
Location: Department of Computer Science and Engineering /Division of Computing science, Logic and types research group
First day of employment: 2022-12-01 or as soon as possible after that date

Contact information 

Regarding the project, please contact Thierry Coquand (e-mail: Thierry.Coquand@cse.gu.se ).
Regarding the position, please contact Aarne Ranta (e-mail: aarne.ranta@cse.gu.se ).
Regarding the appointment procedure, please contact HR-partner Robin Garnham (e-mail: robin.garnham@chalmers.se ).

Unions 

Union representatives at the University of Gothenburg can be found here:http://www.gu.se/english/about_the_university/job-opportunities/union-representatives

Application

Submit your application via the University of Gothenburg’s recruitment portal by clicking the “Apply” button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline.  

The selection of candidates is made on the basis of the qualifications registered in the application. 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, include complete list of publications;
• Previous teaching and pedagogical experiences;
• 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 research fields and main research results;
• Describe your future goals and future research focus.

Other documents:

• Attested copies of completed education, grades and other certificates.

Applications must be received by: 2022-10-26

Information for International Applicants

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/  

The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations.

Salaries are set individually at the University.

In accordance with the National Archives of Sweden’s regulations, the University must archive application documents for two years after the appointment is filled. If you request that your documents are returned, they will be returned to you once the two years have passed. Otherwise, they will be destroyed.

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.