Postdoctor in Cubical type theory

The University of Gothenburg tackles society's challenges with diverse knowledge. 37 000 students and 6 000 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.

Postdoctor in Cubical type theory

Type of employment: Fixed-term employment, 2 years
Extent: 100 %
Location: Department of Computer Science and Engineering, Gothenburg
First day of employment: As soon as possible
Reference number: PER 2016/478

The University of Gothenburg tackles society's challenges with diverse knowledge. 37 000 students and 6 000 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 240 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 Computer Science at the department, with the University of Gothenburg as the employer.

Subject area
Cubical type theory

Specific subject description
Investgations of a constructive model of the univalence axiom

Job assignments
Research about cubical type theory, approximately 80 % of full time. Teaching, approximately 20 % of full time.

Eligibility
The qualifications for academic positions are given in Chapter 4, Section 3 - 4 of the Higher Education Ordinance.
An achieved doctoral degree is compulsory for a position as postdoctor. The doctoral thesis shall be in a relevant area according the the specific position stated in the advertisement, for
example in computer science or software engineering. Since a position as postdoctor aims to give new holders of the doctorate the opportunity mainly to strengthen and develop their
scholarly proficiency, we aim for those who have a doctoral degree not older than three years counting from the last date of application. Applicants with a degree obtained earlier than the
stipulated three years may be preferred if special reasons exists.

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

Achieved a PhD in relevant research area. Several publications in international journals.
Knowledgeable and experienced in using the above mentioned methods. Excellent skills in communicating both verbally and in writing.

For further information please contact:
Peter Dybjer, Head of Division
+ 46 31 772 1035
peterd@chalmers.se
www.chalmers.se/sv/institutioner/cse/Sidor/default.aspx

Labour union
OFR/S: Peter Brandt
+ 46 31 786 1169
peter.brandt@gu.se

SACO: Catrine Folcker
+46 31 786 2768
catrine.folcker@gu.se

SEKO: SEKO klubb universitet Göteborg
+ 46 31 786 2311
seko@gu.se

Closing date 2016-11-23

Appointment Procedure
Please apply online. Reference number (PER 2016/478) should be clearly stated when sending complementary documents.

The University of Gothenburg promotes equal opportunities, equality and diversity.
Salary is determined on an individual basis.
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.