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 position is placed in the Division for Computing science at the department, with the University of Gothenburg as the employer.
The Department aims to actively improve our gender balance and we work broadly with equality projects. Equality and diversity are substantial foundations in all activities at the University and Department.
General information about being a doctoral student at the University of Gothenburg can be found on the university's doctoral student pages https://medarbetarportalen.gu.se/doktorand/?languageId=100001&skipSSOCheck=true
Duties
Third-cycle studies comprises four years of full-time studies and leads after a successful completion to a Degree of Doctor of Philosophy in Computer Science and Engineering. Those who are employed as doctoral students must primarily devote themselves to their doctoral education. However, a doctoral student may to a limited extent work with education, research and administration, so-called departmental service in a teaching or supporting role, which can be concentrated on certain parts of the year depending on the needs of the business in consultation with the student. Such work may, before the doctoral degree is completed, not cover more than 20 percent of full-time work over the study period. If departmental service is performed corresponding to 20 percent of full-time study time, the employment contract is extended by the corresponding period, which gives a total employment of five years.
The purpose of the education is for the doctoral student to acquire the knowledge and skills required to be able to conduct independent research in the field of service, and to contribute to the development of knowledge in the subject by writing a scientific dissertation. The doctoral education is in total 240 higher education credits and includes thesis work corresponding to 180 higher education credits and courses corresponding to 60 higher education credits.
These positions are 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 proof assistants. The project in particular concerns homotopy type theory and univalent foundations, where type theory is extended with univalence and higher inductive types. You would be working on topics ranging from theoretical studies of models and connections to higher category theory to actual formalisations of mathematics, but you could also work more oriented toward implementation of proof systems, in particular connected to Agda.
Eligibility
Education at third-cycle level requires general eligibility and, where appropriate, specific eligibility as set out in the general syllabus for the subject.
The general eligibility requirements for education at third-cycle level are:
1. having completed a degree at second-cycle level, or
2. the fulfilment of course requirements totaling at least 240 credits, of which at least 60 credits must be at second-cycle level, or
3. the acquisition of equivalent knowledge in some other way, either in Sweden or abroad.
Specific entry requirements for this subject, according to the general syllabus, are:
To be qualified for admission to third-cycle programme in Computer Science and Engineering the applicant is required to have obtained a second-cycle qualification.
Assessment criteria
The selection of applicants who meet the basic and specific eligibility requirements will be based on the ability to assimilate the education at third-cycle level.
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.
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).
Read more and apply here
Applications must be received by: 2022-11-04
No comments:
Post a Comment